next up previous

Final Report of the COST-247 Action

Computable data types for E-LOTOS

Charles Pecheur1

University of Liège
Institut Montefiore B28
B-4000 Liège


This presentation proposes a new semantical model for LOTOS data types, based on explicit distinction between constructors and functions and a deterministic evaluation function. This results in effectively computable data types and enhances modularity. We also define an associated type definition syntax, inspired from ML, and present some possible developments. We then discuss how equality can be defined: though some types (like sets) cannot be defined so that language-level equality matches the intended equivalence, quite convenient workarounds can be used. We show how the deterministic evaluation allows simpler specifications, and how modularity and abstractness can be enforced. Finally, we will address the compatibility of the proposed evaluation with existing simulation approaches like rewriting and narrowing.

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

Now at: INRIA Rhône-Alpes
655, avenue de l'Europe
F-38330 Montbonnot Saint-Martin
tel:+33-4- -- fax:+33-4-

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page