Associative definition of programming languages

11 years 9 months ago
Associative definition of programming languages
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languages. ALD do not use nonterminal symbols, but rely on permissible contexts for specifying valid syntax trees. In order to assess ALD adequacy, we analyze the descriptional complexity of structurally equivalent CF and ALD grammars, finding comparable measures. The compression obtained using CF copy rules is matched by context inheritance in ALD. The family of hierarchical parentheses languages, an paradigm of HTML, and of expressions with operator precedences is studied. A complete ALD grammar of Pascal testifies of the practicality of the ALD approach.
Stefano Crespi-Reghizzi, Matteo Pradella, Pierluig
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2000
Where CL
Authors Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
Comments (0)