An attribute grammar is a declarative specification of dependence among computations
carried out at the nodes of a tree. Attribute grammars have proven remarkably difficult to …

Formal program construction by transformations is a method of software development in
which a program is derived from a formal problem specification by manageable, controlled …

JastAdd is an open-source system for generating compilers and other language-based
tools. Its declarative specification language is based on reference attribute grammars and …

This paper is a comment on two recent contributions to Sigplan Notices. In his paper," The
static semantics file", no. 25/4, Brian Meek discusses the relevance of the notion of" static …

Describing the static semantics of programming languages with attribute grammars is eased
when the formalism allows direct dependencies to be induced between rules for nodes …

FNC-2 is a new attribute grammar processing system aiming at expressive power, efficiency,
ease of use and versatility. Its development at INRIA started in 1986, and a first running …

This paper describes an approach to incremental compilation that allows a complete
incremental compiler to be generated from a simple language description. This description …

New machine architectures and new programming languages are always appearing, and
thus the need for new compilers continues unabated. Even experimental languages and …

The aim of this paper is to introduce a method for obtaining modular compiler descriptions
that, paraphrazing[26],-exhibit a semantic processing based on fundamental concepts of …

Abstract Attribute Grammars (AGs) are a formal and practical method for rule based
specifications of computations on tree structures. A typical application area is the analysis …