Syntax Definition For Language Prototyping

Abstract

LanguagePrototyping is the activity of designing and testing definitions of new or existing computer languages. An important aspect of a language definition is the definition of its syntax. The subject of this thesis are new formalisms and techniques that support the development and prototyping of syntax definitions. There are four main subjects: (1) Techniques for parsing and disambiguation of context-free languages. (2) Design and implementation of a new syntax definition formalism. (3) Design of a multi-level algebraic specification formalism. (4) Study of polymorphic syntax definition.

Topics

• Scannerless Generalized LR Parsing
• Disambiguation Filters^?
• A Family of Syntax Definition Formalisms^? (specification of SDF2)
• Multi Level Specifications
• Polymorphic Syntax Definition^?

Available

• http://www.cs.uu.nl/~visser/thesis/
• http://www.cs.uu.nl/~visser/ftp/Vis97.ps.gz