|Final Report of the COST-247 Action|
The GLIDER language
|CRIN-CNRS INRIA Lorraine|
|BP 239 - F-54506|
|Laboratoire d'Informatique de Besancon|
|Universite de Franche-Comte|
|16, route de Gray|
|25030 BESANCON CEDEX|
|Tel: +33 3 81 66 64 52|
GLIDER is an algebraic specification language developed as part of an ESPRIT project. It is a two-level language, providing a semantic kernel and the whole of the language. On the one hand, this distinction allows users to write down specifications as simple as possible, on the other hand, specifiers can be ensured that the "semantic" form of their specification is what they mean exactly. In this presentation, we emphasize these facilities---inference of imported modules, libraries, enumerated types, etc.---and show how they are put into action.
This presentation has been given during the COST-247 3rd Management Committee Meeting (Evry, France, September 19--20, 1994).
COST-247 Working Group(s): 1
This Page was prepared by Mark Jorgensen.