A Table-Driven Compiler for Pretty Printing Specifications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Technical Report) Year : 2003

A Table-Driven Compiler for Pretty Printing Specifications

Laurent Théry

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RT-0288.pdf (314.56 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00069891 , version 1 (19-05-2006)

Identifiers

  • HAL Id : inria-00069891 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More