A Table-Driven Compiler for Pretty Printing Specifications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport Technique) Année : 2003

A Table-Driven Compiler for Pretty Printing Specifications

Laurent Théry

Résumé

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.

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00069891 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More