The VTP project : modular abstract syntax specification

Abstract : This report examines the modular specification of abstract syntaxes. We describe an abstract syntax as a collection of parameterized modules encapsulating operator and sort definitions along with some basic operations on them. The sort extension from one module into another one is the most remarquable of these operations. This proposition takes much of its source from standard ML module language. This report is a part of a series of report on the VTP project.
Type de document :
Rapport
[Research Report] RR-1219, INRIA. 1990
Liste complète des métadonnées

https://hal.inria.fr/inria-00075339
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:00:17
Dernière modification le : jeudi 11 janvier 2018 - 16:38:54
Document(s) archivé(s) le : mardi 12 avril 2011 - 22:40:26

Fichiers

Identifiants

  • HAL Id : inria-00075339, version 1

Collections

Citation

Didier Austry. The VTP project : modular abstract syntax specification. [Research Report] RR-1219, INRIA. 1990. 〈inria-00075339〉

Partager

Métriques

Consultations de la notice

231

Téléchargements de fichiers

63