Pure and declarative syntax definition
Paradise lost and regained
More Info
expand_more
expand_more
Abstract
Syntax definitions are pervasive in modern software systems, and serve as the basis for language processing tools like parsers and compilers. Mainstream parser generators pose restrictions on syntax definitions that follow from their implementation algorithm. They hamper evolution, maintainability, and compositionality of syntax definitions. The pureness and declarativity of syntax definitions is lost. We analyze how these problems arise for different aspects of syntax definitions, discuss their consequences for language engineers, and show how the pure and declarative nature of syntax definitions can be regained Preprint accepted for publication in Proceedings of Onward!, Tahoe (USA), 17-21 Oct. 2010
Files
TUD-SERG-2010-019.pdf
(pdf | 0.362 Mb)