This papers 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.
%0 Report
%1 Attali94
%A Attali, Isabelle
%A Parigot, Didier
%D 1994
%K natural semantic syst.FNC2 vari.LP vari.NS
%N 2339
%T Integrating Natural Semantics and Attribute Grammars: the
Minotaur System
%U ftp://ftp.inria.fr/INRIA/publication/RR/RR-2339.ps.gz
%X This papers 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.
@techreport{Attali94,
abstract = {This papers 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.},
added-at = {2009-05-10T18:36:57.000+0200},
author = {Attali, Isabelle and Parigot, Didier},
biburl = {https://www.bibsonomy.org/bibtex/2840a97a9c25f720804f118fc86e0f97c/dparigot},
description = {Attribute Grammar},
institution = {INRIA},
interhash = {6c22d9a400bfac4bbd7fa4adbc968aed},
intrahash = {840a97a9c25f720804f118fc86e0f97c},
keywords = {natural semantic syst.FNC2 vari.LP vari.NS},
number = 2339,
postscript = {http://www-sop.inria.fr/smartool/Didier.Parigot/publications/RR-2339.ps.gz},
timestamp = {2009-05-10T18:36:58.000+0200},
title = {{I}ntegrating {N}atural {S}emantics and {A}ttribute {G}rammars: the
{M}inotaur {S}ystem},
type = {Rapport de recherche},
url = {ftp://ftp.inria.fr/INRIA/publication/RR/RR-2339.ps.gz},
year = 1994
}