Canonical Abstract Syntax Trees

Antoine Reilles 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
6th International Workshop on Rewriting Logic and Applications - WRLA 2006, Apr 2006, Vienna, Austria. 2006
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00000967
Contributeur : Antoine Reilles <>
Soumis le : lundi 20 novembre 2006 - 17:06:16
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57
Document(s) archivé(s) le : lundi 20 septembre 2010 - 16:29:43

Fichiers

gomfinal.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Antoine Reilles. Canonical Abstract Syntax Trees. 6th International Workshop on Rewriting Logic and Applications - WRLA 2006, Apr 2006, Vienna, Austria. 2006. 〈inria-00000967v2〉

Partager

Métriques

Consultations de la notice

200

Téléchargements de fichiers

159