The VTP project : modular abstract syntax specification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1990

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1219.pdf (1.02 Mo) Télécharger le fichier

Dates and versions

inria-00075339 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00075339 , version 1

Cite

Didier Austry. The VTP project : modular abstract syntax specification. [Research Report] RR-1219, INRIA. 1990. ⟨inria-00075339⟩
101 View
36 Download

Share

Gmail Facebook X LinkedIn More