|Final Report of the COST-247 Action|
The algebraic specification language LPG: presentation and assessment of the design choices
|CNRS, LSR-IMAG, Grenoble|
|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
This Page was prepared by Mark Jorgensen.