Language Verification is a formal method within the domain of Domain-Specific Languages that establishes the correctness and consistency of language constructs with respect to predefined syntactic, semantic, and well-formedness rules.
48
Publications
1.4K
Citations
115
Authors
61
Institutions
Publications per year
2017–2026
7
Parents
Publications
48
Attempto Controlled English (ACE)
Norbert E. Fuchs, Rolf Schwitter · ArXiv.org · 1996 · 138 citations · Full text
Formal verification of translation validators
Jean-Baptiste Tristan, Xavier Leroy · 2008 · 97 citations
Verifiable semantics for agent communication languages
Michael Wooldridge · 2002 · 72 citations
1–5 of 48
Authors
115
- AM
2
h-index
- MW
2
h-index
- XL
2
h-index
- MI
2
h-index
- MØ
2
h-index
1–5 of 115
Institutions
61
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
4 h-index
7 publications
286 citations
Centre National de la Recherche Scientifique
Paris, France
2 h-index
2 publications
45 citations
Queen Mary University of London
London, United Kingdom
2 h-index
2 publications
91 citations
Aarhus University
Aarhus, Denmark
2 h-index
6 publications
105 citations
Portland State University
Portland, United States
2 h-index
2 publications
51 citations
Université Toulouse-I-Capitole
Toulouse, France
1 h-index
5 publications
80 citations
Universidade Federal do Rio Grande do Sul
Porto Alegre, Brazil
1 h-index
1 publications
19 citations
University of California, Los Angeles
Los Angeles, United States
1 h-index
2 publications
26 citations
1–8 of 61
Venues
- Science of Computer Programming
2 publications · 35 citations
2
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 34 citations
2
h-index
- Theory and Practice of Logic Programming
1 publications · 15 citations
1
h-index
- IEEE Transactions on Automatic Control
1 publications · 16 citations
1
h-index
- EPiC series in computing
1 publications · 14 citations
1
h-index
1–5