522 search results - page 9 / 105 » Automating grammar comparison |
106
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...
ICSOC
2009
Springer
15 years 10 months ago
2009
Springer
125
Voted
EVOW
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A system for automatic composition using grammatical evolution is presented. Compositions are created under the constraints of a generative grammar, and under the bias of...
129
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
We describe the formalisation of the normal forms of context-free grammars (CFGs) using the HOL4 theorem prover. These straightforward pen and paper proofs easily understood from t...