jourdan@minos.inria.fr (Martin Jourdan) (06/08/90)
INTERNATIONAL WORKSHOP ON ATTRIBUTE GRAMMARS
AND THEIR APPLICATIONS
WAGA
Paris, September 19--21, 1990
ADVANCE PROGRAMME AND REGISTRATION INFORMATION
** PRESENTATION
Although attribute grammars have been introduced more than 20 years
ago, they are still not as widely used as it could have been hoped
initially, in particular in the industry, despite their qualities as a
specification tool.
The aim of WAGA is hence to show that attribute grammars are still an
active research topic which --- and this is important --- now leads to
useful applications in various areas. It is open to anyone interested
in the field (researchers, engineers, students, ...).
The workshop will cover all aspects of attribute grammars, with an
emphasis on practical results and applications. It will feature three
invited talks, 21 presentations selected by the Program Committee and
a discussion.
WAGA will be held at Ministe`re de la Recherche et de la Technologie,
in the former buildings of prestigious E'cole Polytechnique. They are
located in one of the most pleasant district of Paris, at walking
distance from Quartier Latin, Jardin du Luxembourg and Jussieu campus,
which groups the Universities of Paris VI and Paris VII.
* Organization
INRIA Institut National de Recherche en Informatique et en Automatique
* Sponsorship
AFCET Association Franc,aise pour la Cyberne'tique E'conomique et Technique
* Scientific Organizers
Pierre Deransart INRIA, Rocquencourt, France
Martin Jourdan INRIA, Rocquencourt, France
* Program Committee
Henk Alblas Twente University, the Netherlands
Pierre Deransart INRIA, Rocquencourt, France
Rodney Farrow Declarative Systems Inc., Palo Alto, USA
Paul Franchi-Zannettacci CERISI, Sophia-Antipolis, France
Robert Giegerich Universita"t Bielefeld, FRG
Tibor Gyimo'thy Hungarian Acad. of Sciences, Szeged, Hungary
Martin Jourdan INRIA, Rocquencourt, France
Uwe Kastens Universita"t GH Paderborn, FRG
Takuya Katayama Tokyo Institute of Technology, Japan
Kai Koskimies University of Tampere, Finland
Bernard Lorho INRIA, Rocquencourt, France
Vladimir Serebriakov Soviet Acad. of Sciences, Moscow, USSR
Tim Teitelbaum Cornell University, Ithaca, USA
* Organization Committee
The're`se Bricheteau INRIA, Rocquencourt, France
Sylviane Gosset INRIA, Rocquencourt, France
E'lisabeth Many INRIA, Rocquencourt, France
** PROGRAMME
* Wednesday, September 19, 1990
09:00--10:15 Registration
10:15--10:30 Opening Session
Pierre Deransart & Martin Jourdan (INRIA, Rocquencourt)
10:30--11:00 The Early Days
Chairperson: Bernard Lorho (INRIA, Rocquencourt)
The Genesis of Attribute Grammars
Donald E. Knuth (Stanford Univ.), *invited speaker*
11:00--11:30 Break
11:30--13:00 Old Tracks, New Tracks
Chairperson: Henk Alblas (Twente Univ.)
The Hierarchy of LR-attributed Grammars
Rieks op den Akker (Twente Univ.), Borivoj Melichar (Czech
Tech. Univ., Prague) & Jorma Tarhio (Univ. Helsinki)
Space Optimization in the FNC-2 Attribute Grammar System
Catherine Julie' (Univ. Orle'ans) & Didier Parigot (INRIA,
Rocquencourt)
Counting Polyominoes using Attribute Grammars
M.-P. Delest & J.-M. Fedou (Univ. Bordeaux I)
13:00--15:00 Lunch
15:00--16:00 Parallel Evaluation
Chairperson: Tibor Gyimo'thy (Hungarian Acad. of Sciences, Szeged)
Parallel Attribute Evaluation: Structure of Evaluators and
Detection of Parallelism
Matthijs F. Kuiper & S. Doaitse Swierstra (Utrecht Univ.)
Parallel One-pass Compilation
Eduard Klein (GMD, Karlsruhe) & Kai Koskimies (Univ. Tampere)
16:00--16:30 Break
16:30--17:30 Interactive Applications
Chairperson: Paul Franchi-Zannettacci (CERISI, Sophia-Antipolis)
Attribute Grammar Applications in Prototyping LOTOS Tools
Peter van Eijk (Twente Univ.)
Rapid Development of a Program Transformation System
with Attribute Grammars and Dynamic Transformations
Harald Vogt, Aswin van den Berg & Arend Freije (Utrecht Univ.)
19:00 Cocktail Party
* Thursday, September 20, 1990
09:30--11:00 Relationships with Other Formalisms I
Chairperson: Takuya Katayama (Tokyo Institute of Technology)
Tree Transformations, Functional Languages, and Attribute
Grammars
Reinhard Wilhelm (Univ. des Saarlandes, Saarbru"cken),
*invited speaker*
Programmar: The Project on Extended Affix Grammars at Nijmegen
Hans Meijer (Katholieke Univ. Nijmegen)
11:00--11:30 Break
11:30--13:00 Relationships with Other Formalisms II
Chairperson: Robert Giegerich (Univ. Bielefeld)
Abstract Interpretation using Attribute Grammars
Mads Rosendahl (Univ. Cambridge)
Functional Evaluation of Strongly Non-circular Typol
Specifications
Isabelle Attali (INRIA, Sophia-Antipolis) & Jacques Chazarain
(Univ. Nice)
Object-oriented Extension of Attribute Grammars and its
Implementation using Distributed Attribute Evaluation Algorithm
Yoichi Shinoda & Takuya Katayama (Tokyo Institute of
Technology)
13:00--15:00 Lunch
15:00--16:00 Incremental Evaluation I
Chairperson: Tim Teitelbaum (Cornell Univ., Ithaca)
Incremental Attribute Evaluation for Multiple Subtree
Replacements in Structure-oriented Environments
An Feng, Tohru Kikuno & Koji Torii (Osaka Univ.)
Coordinated Incremental Attribute Evaluation on a
DR-threaded Tree
Scott A. Vorthmann (Carnegie Mellon Univ., Pittsburgh)
16:00--16:30 Break
16:30--17:30 Systems
Chairperson: Rodney Farrow (Declarative Systems Inc.,Palo Alto)
The OLGA Attribute Grammar Description Language: Design,
Implementation and Evaluation
Martin Jourdan, Carole Le Bellec & Didier Parigot (INRIA,
Rocquencourt)
The Elegant Compiler Generator System
Lex Augusteijn (Philips Research Labs., Eindhoven)
17:30--18:30 Discussion: The Future of Attribute Grammars
Moderators: Pierre Deransart & Martin Jourdan (INRIA, Rocquencourt)
* Friday, September 21, 1990
09:30--11:00 Compiler Construction
Chairperson: Uwe Kastens (Univ. Paderborn)
Use of Attribute Grammars in Compiler Construction
William Waite (Univ. of Colorado, Boulder), *invited speaker*
An OPTRAN-generated Front-end for Ada
Paul Keller & Thomas Maas (Univ. des Saarlandes, Saarbru"cken)
11:00--11:30 Break
11:30--13:00 Natural Language Processing
Chairperson: Vladimir Serebriakov (Computing Center, Soviet Acad.
of Sciences, Moscow)
Attributed Translation and the Semantics of Natural Language
J. V. Pitt & R. J. Cunningham (Imperial College, London)
Application of Attribute Grammars to Natural Languages
Sentence Generation
Michael Levison & Gregory Lessard (Queen's Univ., Kingston)
Attribute Grammar Specification for a Natural Language
Understanding Interface
Z. Alexin (Hungarian Acad. of Sciences, Szeged), K. Fabricz
(JATE Univ., Szeged), Tibor Gyimo'thy & T. Horva'th (Hungarian
Acad. of Sciences, Szeged)
13:00--15:00 Lunch
15:00--16:00 Incremental Evaluation II
Chairperson: Kai Koskimies (Univ. Tampere)
Globally Partitionable Attribute Grammars
Stephen B. Peckham (IBM Corp., Austin)
Concurrent Incremental Attribute Evaluation
Henk Alblas (Twente Univ.)
16:00 End of the Workshop
** REGISTRATION
Fees (including 18.60% VAT):
before September 1st, 1990 after September 1st, 1990
Regular 2000 FF 2500 FF
Student 700 FF 700 FF
Student rate is applicable to any student not over 28 years of age at
the Workshop date. A copy of the student card has to be attached to
the Registration Form.
These fees cover:
- attendance at the Workshop,
- one copy of the Proceedings published by Springer-Verlag,
- an invitation to a Cocktail Party,
- coffee breaks,
- luncheons.
FOR MORE INFORMATION AND TO RECEIVE A COPY OF THE PROGRAMME AND
REGISTRATION FORM, PLEASE CONTACT:
INRIA
Relations Exte'rieures
``Bureau des Colloques'' Phone: +33-1-39-63-56-00
Domaine de Voluceau Fax: +33-1-39-63-56-38
Rocquencourt Telex: 697 033 F
B.P. 105 E-mail: waga@minos.inria.fr
F-78153 Le Chesnay Cedex
(France)
--
Send compilers articles to compilers@esegue.segue.boston.ma.us
{spdcc | ima | lotus}!esegue. Meta-mail to compilers-request@esegue.
Please send responses to the author of the message, not the poster.