Design, implementation and evaluation of the FNC-2 attribute grammar system

Authors:
Martin Jourdan;Didier Parigot;Catherine Julié;Olivier Durin;Carole Le Bellec
Affiliations:
INRIA, Domaine de Voluceau, Rocquen-court, BP 105, F-78153 Le Chesnay Cedex, France;INRIA, Domaine de Voluceau, Rocquen-court, BP 105, F-78153 Le Chesnay Cedex, France;INRIA, Domaine de Voluceau, Rocquen-court, BP 105, F-78153 Le Chesnay Cedex, France;INRIA, Domaine de Voluceau, Rocquen-court, BP 105, F-78153 Le Chesnay Cedex, France;INRIA, Domaine de Voluceau, Rocquen-court, BP 105, F-78153 Le Chesnay Cedex, France
Venue:
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Year:
1990

Citing 22
Cited 15

Generating language-based environments

Generating language-based environments
Attribute grammars: attribute evaluation methods

Methods and tools for compiler construction
Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
A comparison of storage optimizatons in automatically-generated attribute evaluators

Acta Informatica
Lifetime analysis for attributes

Acta Informatica
Classical and incremental attribute evaluation by means of recursive procedures

Theoretical Computer Science
Attribute grammars: definitions, systems and bibliography

Attribute grammars: definitions, systems and bibliography
Improvements of an incremental evaluation algorithm for ordered attribute grammars

ACM SIGPLAN Notices
The synthesizer generator: a system for constructing language-based editors

The synthesizer generator: a system for constructing language-based editors
The synthesizer generator reference manual (3rd ed.)

The synthesizer generator reference manual (3rd ed.)
Centaur: the system

SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Generation of Compiler Symbol Processing Mechanisms from Specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Resolving circularity in attribute grammars with applications to data flow analysis (preliminary version)

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Space optimization in the FNC-2 attribute grammar system

WAGA Proceedings of the international conference on Attribute grammars and their applications
The OLGA attribute grammar description language: design, implementation and evaluation

WAGA Proceedings of the international conference on Attribute grammars and their applications
Techniques for improving grammar flow analysis

Proceedings of the third European symposium on programming on ESOP '90
Using rewriting techniques to produce code generators and proving them correct

Science of Computer Programming
Sub-protocol-evaluators for attribute grammars

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Attribute coupled grammars

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A unified approach to global program optimization

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An Attribute Grammar for the Semantic Analysis of ADA

An Attribute Grammar for the Semantic Analysis of ADA
OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences

Proceedings of the 2nd CCHSC Workshop on Compiler Compilers and High Speed Compilation

Extending attribute grammars to support programming-in-the-large

ACM Transactions on Programming Languages and Systems (TOPLAS)
LISA: a tool for automatic language implementation

ACM SIGPLAN Notices
A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior

IEEE Transactions on Software Engineering
AML: attribute grammars in ML

Nordic Journal of Computing
Universal Regular Path Queries

Higher-Order and Symbolic Computation
Aspect-Oriented Compilers

GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
SmartTools: A Generator of Interactive Environments Tools

CC '01 Proceedings of the 10th International Conference on Compiler Construction
Compiler Construction Using LOTOS NT

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Generating spreadsheet-like tools from strong attribute grammars

Proceedings of the 2nd international conference on Generative programming and component engineering
A hardware extension of the RISC microprocessor for Attribute Grammar evaluation

Proceedings of the 2004 ACM symposium on Applied computing
An Embedded Microprocessor for Intelligent Control

Journal of Intelligent and Robotic Systems
The Zephyr abstract syntax description language

DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
DeFacto: Language-Parametric Fact Extraction from Source Code

Software Language Engineering
EASY meta-programming with Rascal

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Incremental programming language development

Computer Languages, Systems and Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 prototype is available since early 1989. Its most important features are: efficient exhaustive and incremental visit-sequence-based evaluation of strongly (absolutely) non-circular AGs; extensive space optimizations; a specially-designed AG-description language, with provisions for true modularity; portability and versatility of the generated evaluators; complete environment for application development. This paper briefly describes the design and implementation of FNC-2 and its peripherals. Then preliminary experience with the system is reported.