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
Complete list of metadatas

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/inria-00069891
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:26:43 PM
Last modification on : Thursday, February 14, 2019 - 5:48:01 PM
Long-term archiving on : Saturday, April 3, 2010 - 10:05:02 PM

Identifiers

  • HAL Id : inria-00069891, version 1

Collections

Citation

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

Share

Metrics

Record views

103

Files downloads

110