Attribute Grammars
Home Page

Project Oscar or FNC-2 page

Here are some home pages of researchers working on Attribute Grammar and related areas. Additions and corrections are welcome!

2^nd International Workshop on Attribute Grammars and their Applications WAGA'99

Bibliography on Attribute Grammars (1120 references)

Surveys or Books on Attribute Grammar researchs

Henk Alblas and Borivoj Melichar , editors. Attribute Grammars, Applications and Systems, volume 545 of Lecture Notes in Computer Science. Springer-Verlag, New York-Heidelberg-Berlin, June 1991. Prague.

Jukka Paakki. Attribute grammar paradigms A high-level methodology in language implementation. ACM Computing Surveys, 27(2):196-255, June 1995.

Home Pages

Wuu Yang (a.k.a. lazybug). Program slicing,attribute grammar systems. Computer and Information Science Department National Chiao-Tung University, wuuyang@cis.nctu.edu.tw.
Henk Alblas. Department of tele-informatics and open systems. University of Twente, alblas@cs.utwente.nl.
Laurent Andrey. Communication protocol, attribute grammars. CRIN Mancy France.
Isabelle Attali. Natural semantic, attribute grammars. INRIA Sophia-Antipolis, Isabelle.Attali@inria.fr.
Lex Augusteijn. the elegant system. Philips Research Laboratories, lex@natlab.research.philips.com.
Kablan Barbar. Attribute grammars. LaBRI, Université Bordeaux-1.
Bernhard Bauer. Integration of algebraic specifications and attribute grammars. Institut für Informatik München, bauer@informatik.tu-muenchen.de.
John Tang Boyland. Object-oriented languages - attribute grammars. Carnegie Mellon University, boyland@cs.uwm.edu.
Alan Carle. Hierarchical attribute grammars: dialects, applications and evaluation algorithms. Rice University, arle@rice.edu.
Gordon V. Cormack. Parsing and text processing, attribute grammars, data types, concurrency. University of Waterloo, cormack@cormack.uwaterloo.ca.
Loïc Correnson. Attribute grammars, the fnc-2 system. INRIA Rocquencourt, Loic.Correnson@inria.fr.
Etienne Duris. Attribute grammars, the fnc-2 system, program analysis, deforestation. INRIA Rocquencourt, Etienne.Duris@inria.fr.
George E. Economakos. Department of electrical & computer engineering, division of computer science. National Technical University of Athens, george@dsclab.ece.ntua.gr.
Richard A Frost. Windsor attribute grammar programming environment (w/age). University of Windsord.
Görel Hedin. Department of computer science lund university. Gorel.Hedin@dna.lth.se.
Martin Jourdan. Attribute grammars, the fnc-2 system, program analysis, compiler construction. INRIA Rocquencourt, mjourdan@metaware.tm.fr.
Uwe Kastens. Eli systems. Universität-GH Paderborn, uwe@uni-paderborn.de.
Takuya Katayama. formal specification of software and working on attribute grammars and formal object-oriented methodology. Tokyo Institute of Technology, katayama@jaist.ac.jp.
Matthijs Kuiper. lrc attribute grammar system. Utrecht University, kuiper@cs.ruu.nl.
Yanhong Annie Liu. Cachet: An interactive, incremental-attribution-based program transformation system for deriving incremental programs. Cornell University, liu@cs.indiana.edu.
Ralf Lämmel. Language development laboratory ldl. Rostock University, rlaemmel@informatik.uni-rostock.de.
Merik Meriste. formal languages, attributed methods of knowledge specification, attributed automata, structural pattern recognition. University of Tartu, merik@cs.ut.ee.
Marjan Mernik. Concepts of programming languages, implementation of programming languages, formal language definition, compiler techniques, compiler generators, functional programming, partial evaluations and mixed computations, abstract interpretation. University of Maribor, marjan.mernik@uni-mb.si.
Khalid A. Mughal. attribute grammars, the aml system, programming environments, programming paradigms, language implementation tools and techniques. University of Bergen, Norway, khalid@ii.uib.no.
Tobias Murer. Extensible attribute grammars. University of Zürich, murer@acm.org.
Kaninda Musumbu. Analyse statique - interprétation abstraite - grammaire d'attributs, théorie des catégories - programmation logique. LaBRI, Université Bordeaux-1.
Jukka Paakki. software engineering, software maintenance, software tools, protocol engineering (tools), programming, programming languages, programming environments, programming paradigms, language implementation tools and techniques, attribute grammars. University of Helsinki, Jukka.Paakki@hut.fi.
Didier Parigot. Attribute grammars, the fnc-2 system. INRIA Rocquencourt, Didier.Parigot@inria.fr.
Lori L. Pollock. Hierarchical attribute grammars. University of Delaware, pollock@cis.udel.edu.
Stefano Crespi Reghizzi. Federal grammars and modular compilers atelier. Politecnico di Milano, Department of Electronic Engineering and Information Sciences, crespi@elet.polimi.it.
Thomas Reps. Language-based programming environments; program slicing, differencing, and merging; interprocedural dataflow analysis; and incremental algorithms. University of Wisconsin at Madison, reps@cs.wisc.edu.
Gilles Roussel. Attribute grammars, the fnc-2 system. Université de Marne-la-Vallée, Gilles.Roussel@univ-mlv.fr.
Myriam De sainte Catherine. Attribute grammars. LaBRI, Université Bordeaux-1.
Joao A. Saraiva. Compilers, attribute grammars, parallel compilation. University ofMinho.
Tony Sloane. Macquarie university. automatic generation of software with a focus on generating programming language implementations, tools and environments, asloane@mpce.mq.edu.au.
Lars Søraas. attribute grammars aml. NERA Telecommunications.
S.D. Swierstra. Software technology. University of Utrecht, swierstra@cs.uu.nl.
Tim Teitelbaum. Incremental computation,transformational programming, programming environments, language-based editors, compilers, attribute grammars, ada. University of Cornell.
Aggelos Thanos. National technical university of athens. Depatrment of Electrical and Computer Engineering, Division of Computer Science, Computing Systems Laboratory, 9 Iroon Polytechniou str., 15773 Zografou Campus, Athens, Hellas, thanos@cslab.ece.ntua.gr.
Harald Vogt. Higher order attribute grammars. University of Utrecht.
William M. Waite. Automation of compiler construction; support for design in domain-specific programming environments, provision of effective tutorial material for such environments. University of Colorado at Boulder, William.Waite@Colorado.edu.
Takashi Yamanoue. Visual programming, parallel programming, compiler-compilers, attributed grammars. Kyushu Institute of Technology.

Web Pages of Attribute Grammars Systems

ag. Generator for attribute evaluators.
AML. Aml. AML.
Door. Door attribute grammars. Görel Hedin, Lund Institute of Technology.
Elegant. The elegant system. Philips Research.
Eli. The eli system, compiler construction made easy. University of Colorado at Boulde, University of Paderborn, Macquarie University in Sydney.
FNC-2. The fnc-2 attribute grammars system. Didier Parigot, Oscar project, INRIA Rocquencourt.
FUN. The fun transformation system. Attribute Grammar Based Transformation Systems.
The Synthesizer Generator. Generation of language-based editing environments. GrammaTech , Inc.
LDL. The language development laboratory. Ralf Lämmel, University of Rostock.
LISA. A tool for automatic language implementation. Marjan Mernik, University of Maribor.
LRC. a system for generating efficient incremental attribute evaluators. Matthijs Kuiper group, Utrecht University.
MAG. Modular attribute grammars. ery Dueck and Gordon Cormack, University of Waterloo.
PUMA. Generator for the transformation of attributed trees. Toolbox for Compiler Construction, GMD-Karlsruhe.
RIE. A compiler generator based on attribute grammar. Masataka Sassa group, University of Tsukuba.
Doaitse Swierstra. Micro attribute grammar system. This is a small attribute grammar system written in Haskell. It is currently being bootstrapped.
W/AGE. The natural language processing program has been written in w/age, an executable attribute grammar programming language developed. Dr. Richard A. Frost, University of Windsor.

Web Pages of Programming Languages and Compilers Research Group

Programming Languages and Compilers Research Group William Waite, University of Colorado at Boulder

Programming Languages and Compilers Prof. Dr. Uwe Kastens, Universität-GH Paderborn

Higher Order Attribute grammars(page maintain by Matthijs Kuiper)

Incremental Evaluation of Attribute grammars

Proof Principle for Attribute grammars

Functional Programs and Attribute Grammars

ML language and Attribute Grammars

Deforestation and Attribute Grammars

Logical Programs and Attribute Grammars

Contraints Logical Programs and Attribute Grammars

Object-Oriented languages and Attribute Grammars

Natural Semantic and Attribute Grammars

Primitive Recursive Scheme and Attribute Grammars

Abstraction Interpretations and Attribute Grammars

Data Flow Analysis and Attribute Grammars

Tree Transducers and Attribute Grammars

Database and Attribute Grammars

Evolving Algebras and Attribute Grammars

Denotational Semantics and Attribute Grammars

Design Patterns and Attribute Grammars

Components system and Attribute Grammars

Natural Language Processing and Attribute Grammars

Communications Protocol and Attribute Grammars

Adaptive Programming and Attribute Grammars

Adaptive Programming

Constraints Logic Programs and Attribute Grammars

Philippe Mathieu and Torbjörn Keisu. Relating attribute grammars and a constraints-prolog programming environment. In Workshop on Programming Environment, Nässlingen (?), August 1989. SICS Research Report 0283-3638 (?)