Today, software systems are often composed of several components that transmit data through various communication channels. Despite the fact that there are a number of standardized data encoding formats, developers still create their own mostly with regard to the specific use of the software they create. One of the essential parts of quality verification or minimization of data transmission errors is the validation of input data. The first step to validation is to formalize a language describing data structures. The most general formalism for these purposes is the grammar of the language in the standard description, e.g. BNF, ABNF, or EBNF. However, creating a language-specific grammar can be a step that is sensitive to error for an inexper...
Attribute Grammars were proposed by Donald Knuth (1968) as a tool for describing and implementing th...
We propose a framework for AQG (automatic question generation) for grammar and vocabulary testing. T...
This thesis describes a number of practical experiments rather than theoreticalinvestigations in the...
This paper describes an algorithm which takes the BNF definition of the grammar of a language and co...
The grammar formalism Labelled BNF (LBNF) and the compiler construction tool BNF Converter are intro...
International audienceReusing existing grammar knowledge residing in standards, specifications and m...
It is easy to imagine machines that can communicate in natural language. Con-structing such machines...
This textbook presents a focused guide to the conceptual foundations of compilation, by explaining t...
Grammars in a broad sense (specifications of structural commitments) are complex artefacts that defi...
In this paper we describe the ideas behind the Grammar Workbench (GWB). The GWB is one of a series o...
A system for assisting in the testing phase of compilers is described. The definition of the languag...
The capability to validate and view or play binary file formats, as well as to convert binary file f...
Many tools have been constructed using di#erent formal methods to process various parts of a languag...
Grammar-based test generators are highly efficient in producing syntactically valid test inputs, and...
The development of large grammars is inherently complex and can hardly be achieved using standard te...
Attribute Grammars were proposed by Donald Knuth (1968) as a tool for describing and implementing th...
We propose a framework for AQG (automatic question generation) for grammar and vocabulary testing. T...
This thesis describes a number of practical experiments rather than theoreticalinvestigations in the...
This paper describes an algorithm which takes the BNF definition of the grammar of a language and co...
The grammar formalism Labelled BNF (LBNF) and the compiler construction tool BNF Converter are intro...
International audienceReusing existing grammar knowledge residing in standards, specifications and m...
It is easy to imagine machines that can communicate in natural language. Con-structing such machines...
This textbook presents a focused guide to the conceptual foundations of compilation, by explaining t...
Grammars in a broad sense (specifications of structural commitments) are complex artefacts that defi...
In this paper we describe the ideas behind the Grammar Workbench (GWB). The GWB is one of a series o...
A system for assisting in the testing phase of compilers is described. The definition of the languag...
The capability to validate and view or play binary file formats, as well as to convert binary file f...
Many tools have been constructed using di#erent formal methods to process various parts of a languag...
Grammar-based test generators are highly efficient in producing syntactically valid test inputs, and...
The development of large grammars is inherently complex and can hardly be achieved using standard te...
Attribute Grammars were proposed by Donald Knuth (1968) as a tool for describing and implementing th...
We propose a framework for AQG (automatic question generation) for grammar and vocabulary testing. T...
This thesis describes a number of practical experiments rather than theoreticalinvestigations in the...