Software Development: Syntax Description

Using a conceptual and practical approach, it explains a method for syntax-directed program development based on LL(1) and extended LL(1) parsing strategies resulting in a series of so-called generation schemes with increasing complexity. Each scheme defines the mechanical transformation from translation syntaxes to transducers such as interpreters and compilers. The final generation scheme forms the basis of a commercial tool for program development (MIRA). Focusing on general methodology rather than specific implementation techniques, it includes numerous case studies that utilize modern methods of software engineering including specifications, information hiding, data encapsulation and modular design. Also features strategies and generation capabilities of error recovery.