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

A Table-Driven Compiler for Pretty Printing Specifications

Laurent Théry 1 
1 LEMME - Software and mathematics
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : In this paper we present the design and the implementation of a compiler for Aïoli, a toolkit to build interactive and symbolic applications. This compiler produces executable code from pretty printing specification written in Ppml. The originality of the compilation is that it maintains dynamic links between the internal structure of the object that is displayed and what it is shown on the screen. It is then easy to build mechanisms such as structured navigation and incremental updating.
Document type :
Reports (Technical report)
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 6:26:43 PM
Last modification on : Wednesday, October 26, 2022 - 8:14:03 AM
Long-term archiving on: : Saturday, April 3, 2010 - 10:05:02 PM


  • HAL Id : inria-00069891, version 1



Laurent Théry. A Table-Driven Compiler for Pretty Printing Specifications. [Technical Report] RT-0288, INRIA. 2003, pp.31. ⟨inria-00069891⟩



Record views


Files downloads