Pedro Martins

Embedding Attribute Grammars using Functional Zippers

• Broschiertes Buch

Produktbeschreibung

Attribute grammars are a suitable formalism to express complex software language analysis and manipulation algorithms, which rely on multiple traversals of the underlying syntax tree. Attribute Grammars have been extended with mechanisms such as references, higher order and circular attributes, which provide a powerful modular mechanism and allow the specification of complex computations. In this book we present an elegant, zipper-based embedding of attribute grammars and their extensions as first class citizens. Language specifications are defined as a set of independent, off-the-shelf components that can easily be composed into a powerful, executable language processor. We also present techniques to describe automatic bidirectional transformations. We define a method to define transformation specifications which, through automatic mechanisms, are inverted and expanded and generate attribute grammars that specify a bidirectional environment. We present practical examples that show the implementation of language specification and processing in our setting, such as a domain-specific language that has been deployed in a web portal for software analysis.

Produktdetails

• Verlag: LAP Lambert Academic Publishing
• Seitenzahl: 208
• Erscheinungstermin: 24. Februar 2015
• Englisch
• Abmessung: 220mm x 150mm x 13mm
• Gewicht: 328g
• ISBN-13: 9783659328213
• ISBN-10: 3659328219
• Artikelnr.: 42487582

Autorenporträt

Pedro Martins is a Ph.D student at the Department of Informatics, University of Minho, Portugal.He obtained his Master's degree in 2001, where he developed language extensions to the Matlabprogramming environment. Currently he is researching software quality methodologies forOpen Source Software.