Attribute Grammars and their Applications : International Conference, Paris, France, September 19-21, 1990. 1st ed. 1990

種類:

電子ブック

責任表示:

edited by Pierre Deransart, Martin Jourdan

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990

著者名:

• Deransart, Pierre.
• Jourdan, Martin.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 461

ISBN:

9783540466666 [3540466665]    

注記:

The genesis of attribute grammars -- The hierarchy of LR-attributed grammars -- Space optimization in the FNC-2 attribute grammar system -- Counting polyominoes using attribute grammars -- Parallel attribute evaluation: structure of evaluators and detection of paralleism -- Parallel one-pass compilation -- Attribute grammar applications in prototyping LOTOS tools -- Rapid development of a program transformation system with attribute grammars and dynamic transformations -- Tree transformations, functional languages, and attribute grammars -- The project on Extended Affix Grammars at Nijmegen -- Abstract interpretation using attribute grammars -- Functional evaluation of strongly non circular typol specifications -- Object oriented extension of attribute grammars and its implementation using distributed attribute evaluation algorithm -- Incremental attribute evaluation for multiple subtree replacements in structure-oriented environments -- Coordinated incremental attribute evaluation on a DR-threaded tree -- Th
Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a specification tool. The aim of this International Workshop on Attribute Grammars and their Applications (WAGA), the first to be entirely devoted to this topic, was to show that they are still the subject of active research and now lead to important, useful and practical applications in various areas. The workshop covered all aspects of attribute grammars, with an emphasis on practical results. This volume includes the text of the three invited talks and 21 submitted papers presented at the workshop. This selection provides a wide view of the diverse research being done in the area. Topics include: - Fundamentals: efficient exhaustive and incremental at- tribute evaluation methods, parallel evaluation, space optimization, relationships with functional, logic and object-oriented programming, and systems. - Applicatio

ローカル注記:

学内専用E-BOOKS (local access only)