522 search results - page 9 / 105 » Automating grammar comparison |
ENTCS
2006
14 years 10 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 5 months ago
2009
Springer
DLOG
2009
14 years 8 months ago
2009
EVOW
2009
Springer
15 years 5 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...
CSL
2010
Springer
14 years 11 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...