Integrating Natural Semantics and Attribute Grammars : the Minotaur System - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1994

Integrating Natural Semantics and Attribute Grammars : the Minotaur System

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-2339.pdf (191.36 Ko) Télécharger le fichier

Dates et versions

inria-00077110 , version 1 (29-05-2006)

Identifiants

  • HAL Id : inria-00077110 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More