Embedding Attribute Grammars using Functional Zippers

ISBN-13: 9783659328213 / Angielski / Miękka / 2015 / 208 str.

Pedro Martins

Opis

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.

O autorze

Pedro Martins finished his Masters in Universidade do Minho in 2010. He continued researching in Computer Science in the same university, where he successfully finished his PhD in 2014. A big part of his work was developed in the area of language engineering and analysis with some focus on online tools and open source software.