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 <>
Submitted on : Friday, May 19, 2006 - 6:44:33 PM
Last modification on : Saturday, January 27, 2018 - 1:31:01 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