The VTP project : modular abstract syntax specification
Résumé
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.