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

AS, for Abstract Syntax Manual - V1.0

Thierry Despeyroux 1
1 CROAP - Design and Implementation of Programming Tools
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : This is the manual for AS, an abstract syntax specification formalism. The main features of this formalism are modularity and support for second-order abstract syntaxes. AS is the first formalism from the CLF computer Languages Factory, a forthcoming set of tools and specification formalisms for quick prototyping and complete implementation of computer languages syntaxes and semantics. This version of AS may be used under the Centaur system for first-order features only. The second-order features will be useful only when a higher-order version of Typol will be distributed.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 6:44:33 PM
Last modification on : Friday, February 4, 2022 - 3:18:54 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:04:07 PM


  • HAL Id : inria-00069974, version 1



Thierry Despeyroux. AS, for Abstract Syntax Manual - V1.0. [Research Report] RT-0197, INRIA. 1996, pp.36. ⟨inria-00069974⟩



Record views


Files downloads