HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Integrating Natural Semantics and Attribute Grammars : the Minotaur System

Abstract : This paper describes the principles and the functionalities of the Minotaur system. Minotaur is a generic interactive environment based on the integration of the Centaur system and the FNC-2 system, two systems widely used to specify syntax and semantics of programming languages and generate efficient semantic tools from these specifications. We show how Attribute Grammars techniques can be adequate for evaluation of a quite large subclass of Natural Semantics specifications, including specifications of an arithmetic calculator, a tree transformation, a type-checker for an Algol-like language, ... For this subclass of Natural Semantics specifications, the Minotaur system automatically generates an incremental and efficient (in time and memory) evaluator which gives to Natural Semantics an industrial strength implementation.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00077110
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Monday, May 29, 2006 - 2:49:47 PM
Last modification on : Friday, February 4, 2022 - 3:23:39 AM
Long-term archiving on: : Friday, May 13, 2011 - 10:44:16 PM

Identifiers

  • HAL Id : inria-00077110, version 1

Collections

Citation

Isabelle Attali, Didier Parigot. Integrating Natural Semantics and Attribute Grammars : the Minotaur System. [Research Report] RR-2339, INRIA. 1994. ⟨inria-00077110⟩

Share

Metrics

Record views

78

Files downloads

152