522 search results - page 9 / 105 » Automating grammar comparison |
123
click to vote
ENTCS
2006
15 years 5 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...
140
click to vote
EVOW
2009
Springer
16 years 12 days 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...
151
click to vote
CSL
2010
Springer
15 years 6 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...