We describe a technique for constructing the input and output grammar of a module. The grammar can b...
The capability to validate and view or play binary file formats, as well as to convert binary file f...
We present the metafront tool for specifying flexible, safe, and efficient syntactic transformations...
The grammar formalism Labelled BNF (LBNF) and the compiler construction tool BNF Converter are intro...
The BNF Converter is a compiler construction tool generating a compiler front-end from a Labelled BN...
This thesis describes two applications of functional programming to process formal and natural langu...
This paper describes an algorithm which takes the BNF definition of the grammar of a language and co...
We present a novel method of embedding context-free grammars in Haskell, and to automatically genera...
International audienceReusing existing grammar knowledge residing in standards, specifications and m...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
This textbook describes the essential principles and methods used for defining the syntax of artific...
BNF (Backus Naur Form) notation, as introduced in the Algol 60 report, was followed by numerous not...
A system for assisting in the testing phase of compilers is described. The definition of the languag...
"Supported in part by the Advanced Research Projects Agency ... under Contract no. US AF 30(602) 414...
The notion of an abstract syntax is discussed. An algorithm is presented for automatically deriving ...
We describe a technique for constructing the input and output grammar of a module. The grammar can b...
The capability to validate and view or play binary file formats, as well as to convert binary file f...
We present the metafront tool for specifying flexible, safe, and efficient syntactic transformations...
The grammar formalism Labelled BNF (LBNF) and the compiler construction tool BNF Converter are intro...
The BNF Converter is a compiler construction tool generating a compiler front-end from a Labelled BN...
This thesis describes two applications of functional programming to process formal and natural langu...
This paper describes an algorithm which takes the BNF definition of the grammar of a language and co...
We present a novel method of embedding context-free grammars in Haskell, and to automatically genera...
International audienceReusing existing grammar knowledge residing in standards, specifications and m...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
This textbook describes the essential principles and methods used for defining the syntax of artific...
BNF (Backus Naur Form) notation, as introduced in the Algol 60 report, was followed by numerous not...
A system for assisting in the testing phase of compilers is described. The definition of the languag...
"Supported in part by the Advanced Research Projects Agency ... under Contract no. US AF 30(602) 414...
The notion of an abstract syntax is discussed. An algorithm is presented for automatically deriving ...
We describe a technique for constructing the input and output grammar of a module. The grammar can b...
The capability to validate and view or play binary file formats, as well as to convert binary file f...
We present the metafront tool for specifying flexible, safe, and efficient syntactic transformations...