Abstract:

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.