next up previous

Final Report of the COST-247 Action


An overview of the LOTOSPHERE proposal for modules in E-LOTOS

Hubert Garavel and Mihaela Sighireanu

INRIA Rhone-Alpes / Dyade
655, avenue de l'Europe
38330 MONTBONNOT ST MARTIN
FRANCE
tel: +(33) 4 76 61 52 24
fax: +(33) 4 76 61 52 52
E-mail: hubert.garavel@inria.fr

Abstract:

Because modules are a desirable feature for programming-in-the-large, there is a requirement for introducing modules in the future E-LOTOS (Enhanced Lotos) standard. We present here the salient features of a proposal for a simple, algebraic system of modules on top of LOTOS, which has been developed in the ESPRIT LOTOSPHERE project.

This presentation has been given during the COST-247 6th Management Committee Meeting (Budapest, Hungary, October 26-27, 1995).

COST-247 Working Group(s): 1

Web links: http://vasy.inria.fr


This Page was prepared by Mark Jorgensen.


Back to the VASY Home page