Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming (Extended Technical Report)

Preprint of paper published in: Compiler Construction, Lecture Notes in Computer Science 5501, 2009; doi:10.1007/978-3-642-00722-4_11 Attribute grammars are a powerful specification formalism for tree-based computation, particularly for software language processing. Various extensions have been proposed to abstract over common patterns in...

Code Generation by Model Transformation: A Case Study in Transformation Modularity

Preprint of paper published in: Theory and Practice of Model Transformations (ICMT 2008), Lecture Notes in Computer Science 5063; doi:10.1007/978-3-540-69927-9_13 The realization of model-driven software development requires effective techniques for implementing code generators for domain-specific languages. This paper identifies techniques for...

Interactive disambiguation of meta programs with concrete object syntax

In meta-programming with concrete object syntax, meta programs can be written using the concrete syntax of manipulated programs. Quotations of concrete syntax fragments and anti-quotations for meta-level expressions and variables are used to manipulate the abstract representation of programs. These small, isolated fragments are often ambiguous...

Declarative Name Binding and Scope Rules

Preprint of paper published in: SLE 2012 - 5th International Conference on Software Language Engineering, 26-28 September 2012, Lecture Notes in Computer Science 7745; doi:10.1007/978-3-642-36089-3_18 In textual software languages, names are used to reference elements like variables, methods, classes, etc. Name resolution analyses these names in...