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

Jourdan, Muriel; Parigot, Didier; Julié, Catherine; Durin, Olivier; Bellec, Carole Le

doi:10.1145/93548.93568

Cited by 18 publications

(14 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although YACC is widely accepted as a valuable tool for the specification of syntax rules and parsing, it has been shown that its use is restrictive for AGs [21] (e.g., it does not support inherited attributes). Several other attribute grammar evaluators also do exist (following the conventional approach) defining an AG-like syntax such as ELI [21] and FNC2 [9]. Those systems also allow the specification of blocks of sequential code within the attribute evaluation rules.…”

Section: The Extended C Language (C-ag)mentioning

confidence: 99%

An Embedded Microprocessor for Intelligent Control

Panagopoulos

Pavlatos

Παπακωνσταντίνου

2005

J Intell Robot Syst

View full text Add to dashboard Cite

Abstract. The conventional approach for the implementation of the knowledge base of a planning agent, on an intelligent embedded system, is solely of software nature. It requires the existence of a compiler that transforms the initial declarative logic program, specifying the knowledge base, to its equivalent procedural one, to be programmed to the embedded system's microprocessor. This practice increases the complexity of the final implementation (the declarative to sequential transformation adds a great amount of software code for simulating the declarative execution) and reduces the overall system's performance (logic derivations require the use of a stack and a great number of jump instructions for their evaluation). The design of specialized hardware implementations, which are only capable of supporting logic programs, in an effort to resolve the aforementioned problems, introduces limitations in their use in applications where logic programs need to be intertwined with traditional procedural ones in a desired application. In this paper, we exploit HW/SW codesign methods to present a microprocessor, capable of supporting hybrid applications using both programming approaches. We take advantage of the close relationship between attribute grammar (AG) evaluation and knowledge engineering methods to present a programmable hardware parser that performs logic derivations and combine it with an extension of a conventional RISC microprocessor that performs the unification process to report the success or failure of logic derivations. The extended RISC microprocessor is still capable of executing conventional procedural programs, thus hybrid applications can be implemented. The presented implementation increases the performance of logic derivations for the control inference process (experimental analysis yields an approximate 1000% -10 times increase in performance) and reduces the complexity of the final implemented code through the introduction of an extended C language called C-AG that simplifies the programming of hybrid procedural-declarative applications.

show abstract

Section: The Extended C Language (C-ag)mentioning

confidence: 99%

An Embedded Microprocessor for Intelligent Control

Panagopoulos

Pavlatos

Παπακωνσταντίνου

2005

J Intell Robot Syst

View full text Add to dashboard Cite

show abstract

“…How we achieve both efficiency and expressive power has to do with the evaluation methods; ours are described in detail elsewhere [Par88, JPJ90,JuP90]. However, as far as programming and developing applications are concerned, this does not matter much, provided of course that the system does a reasonable job in implementing the specification.…”

Section: G E N E R a L O V E R V I E Wmentioning

confidence: 99%

“…It aims at production-quality by providing efficiency, expressive power, ease of use and versatility. To achieve these qualities, it uses the latest results in AG implementation [JPJ90], which it combines with OLGA, a new language especially designed for the specification of AGs [JLP90].…”

Section: Introductionmentioning

confidence: 99%

Application development with the FNC-2 attribute grammar system

Jourdan

Parigot

1991

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

A b s t r a c tFNC-2 is an advanced attribute grammar system aiming at production-quality, currently under development at INRIA. After a brief tour through its internMs and a short presentation of its input language OLGA, the talk will concentrate on how FNC-2 and its companions can be used to develop large language-processing applications. The key feature for enhancing programmers' productivity and supporting teamwork is FNC-2 constructs for modularity. This will be exemplified by the development of FNC-2 itself. Finally we'll present how FNC-2 can be combined with other tools under development at INR,IA to form a complete, high-quality compiler production workbench.

show abstract

“…Unfortunately, it appears that this is not yet the case, although AGs have been around for quite a long time and although powerful AG-processing systems are now available (e.g., FNC-2 [9], which is the base of the present work; see also [1] for a good list of other systems). In our opinion, the main reason for this is that AGs still cruelly lack the same support for modularity as the one which is offered by most programming languages, even the oldest ones [8].…”

Section: Introductionmentioning

confidence: 99%

“…In our system based on Strongly Non-Circular (SNC) attribute grammars [9], this construction looses a bit of power because the SNC class is not closed under descriptional composition [6]: the attribute grammar resulting from the descriptional composition of SNC modules is not necessarily SNC. Moreover, in the context of attribute grammar reuse [3], descriptional composition appeared to be limited due to the need for complete reconstruction of the resulting attribute grammar before any evaluator construction: separate compilation is impossible.…”

Section: Introductionmentioning

confidence: 99%

Coupling evaluators for attribute coupled grammars

Roussel

Parigot

Jourdan

1994

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Some years ago, the notion of attribute coupled grammars was introduced by Ganzinger and Giegerich [4], together with deseriptional composition. The latter works essentially at the specification level, i.e., it produces an attribute grammar which specifies the composition of two attribute coupled grammars. We introduce a new approach to this composition of attribute coupled grammars. This composition no longer works at the specification level but at the evaluator level. It produces a special kind of attribute evaluator. For this purpose we have introduced the notion of coupling evaluator. The main advantage of this new approach, compared with descriptional composition, is that it is possible to build separately the coupling evaluator of each attribute coupled grammar; in other words it allows real separate compilation of AG modules. Another important advantage is that we do not need to check the attribute grammar class in order to construct the final sequence of evaluators; thus, this construction produces a new sort of evaluator.

show abstract

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

Cited by 18 publications

References 20 publications

An Embedded Microprocessor for Intelligent Control

An Embedded Microprocessor for Intelligent Control

Application development with the FNC-2 attribute grammar system

Coupling evaluators for attribute coupled grammars

Contact Info

Product

Resources

About