Canonical Abstract Syntax Trees - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Canonical Abstract Syntax Trees

Résumé

This paper presents Gom, a language for describing abstract syntax trees and generating a Java implementation for those trees. Gom includes features allowing the user to specify and modify the interface of the data structure. These features provide in particular the capability to maintain the internal representation of data in canonical form with respect to a rewrite system. This explicitly guarantees that the client program only manipulates normal forms for this rewrite system, a feature which is only implicitly used in many implementations.
Fichier principal
Vignette du fichier
gomfinal.pdf (203.08 Ko) Télécharger le fichier
architecture.mp (2.33 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Format : Autre
Loading...

Dates et versions

inria-00000967 , version 1 (06-01-2006)
inria-00000967 , version 2 (20-11-2006)

Identifiants

Citer

Antoine Reilles. Canonical Abstract Syntax Trees. 6th International Workshop on Rewriting Logic and Applications - WRLA 2006, Carolyn Talcott and Grit Denker, Apr 2006, Vienna, Austria. ⟨inria-00000967v2⟩
130 Consultations
359 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More