next up previous

Final Report of the COST-247 Action

The algebraic specification language LPG: presentation and assessment of the design choices

Didier Bert

CNRS, LSR-IMAG, Grenoble
BP 53
38041 Grenoble CEDEX
Tel: +33 4 76 82 72 16
Fax: +33 4 76 82 72 87


In this talk, we shall introduce the main features of the algebraic and logic specification language LPG. This language was defined and implemented at the IMAG Institute in the years 1984-86 and revised in 1991. It was used to specify and to prototype several cases studies, particularly in ESPRIT projects. Main characteristics of LPG will be presented, like the underlying logic, the predefined objects, the module decomposition and structuring, the parameterization facilities. The stress will be put on the differencies between LPG and LOTOS and on the consequences of some design choices.

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

Web links :

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page