A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device called control flags to incorporate those parts of a language that are not controlled by context-free rules (for instance, use of declared names). The tool produces two sets of program strings such that each production in the grammar is used at least once. One set is produced by Purdom's algorithm. The other is produced by a new algorithm designed by the author which builds a tree and then produces a set of strings from it for compiler testing. The program strings produced from the new algorithm differ less in length than those from Purdom'
Part 2: Test Derivation MethodsInternational audienceIn grammar-based testing, context-free grammars...
After the introduction of context-free grammars and the use of BNF rules, compilers have been built ...
Natural languages have been subject of studies for centuries and are hot topic even today. The deman...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
A system for assisting in the testing phase of compilers is described. The definition of the languag...
This paper describes an algorithm which takes the BNF definition of the grammar of a language and co...
Grammar engineering has a lot in common with software engineering. Analogous to a program specificat...
Compilers use cost models to choose between different optimization opportunities, and increasingly t...
The grammar formalism Labelled BNF (LBNF) and the compiler construction tool BNF Converter are intro...
Benchmarks are heavily used in different areas of computer science to evaluate algorithms and tools....
"Supported in part by the Advanced Research Projects Agency ... under Contract no. US AF 30(602) 414...
In grammar-based testing, context-free grammars may be used to generate relevant test inputs for lan...
Computers are a very powerful machine that can solve problems in a short time with a huge of calcula...
This textbook presents a focused guide to the conceptual foundations of compilation, by explaining t...
The goal of this project was to create an open source teaching tool along with a User Manual. The re...
Part 2: Test Derivation MethodsInternational audienceIn grammar-based testing, context-free grammars...
After the introduction of context-free grammars and the use of BNF rules, compilers have been built ...
Natural languages have been subject of studies for centuries and are hot topic even today. The deman...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
A system for assisting in the testing phase of compilers is described. The definition of the languag...
This paper describes an algorithm which takes the BNF definition of the grammar of a language and co...
Grammar engineering has a lot in common with software engineering. Analogous to a program specificat...
Compilers use cost models to choose between different optimization opportunities, and increasingly t...
The grammar formalism Labelled BNF (LBNF) and the compiler construction tool BNF Converter are intro...
Benchmarks are heavily used in different areas of computer science to evaluate algorithms and tools....
"Supported in part by the Advanced Research Projects Agency ... under Contract no. US AF 30(602) 414...
In grammar-based testing, context-free grammars may be used to generate relevant test inputs for lan...
Computers are a very powerful machine that can solve problems in a short time with a huge of calcula...
This textbook presents a focused guide to the conceptual foundations of compilation, by explaining t...
The goal of this project was to create an open source teaching tool along with a User Manual. The re...
Part 2: Test Derivation MethodsInternational audienceIn grammar-based testing, context-free grammars...
After the introduction of context-free grammars and the use of BNF rules, compilers have been built ...
Natural languages have been subject of studies for centuries and are hot topic even today. The deman...