Skip to Main content Skip to Navigation
New interface
Reports (Technical report)

A Centaur tutorial

Abstract : This paper presents the Centaur system through a tutorial describing the creation of an environment for a small language of mathematical expressions called Exp. With Centaur, the user may interactively generate programming language environments, including structured editors, debuggers, interpreters, and other tools. In this tutorial, all phases of language specification are covered : the design of the abstract and concrete syntax of Exp in Metal and Sdf, the pretty printing rules in Ppml, and the semantics of an interpreter in Typol. The tools generated by Centaur based on these specifications are enhanced by user interface built with Centaur graphic primitives.
Document type :
Reports (Technical report)
Complete list of metadata
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 6:51:12 PM
Last modification on : Wednesday, October 26, 2022 - 8:14:03 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:17:42 PM


  • HAL Id : inria-00070028, version 1



Ian Jacobs, Laurence Rideau-Gallot. A Centaur tutorial. [Technical Report] RT-0140, INRIA. 1992, pp.102. ⟨inria-00070028⟩



Record views


Files downloads