next up previous

Final Report of the COST-247 Action


Thoughts on the future of algebraic types in LOTOS

Muffy Thomas

University of Glasgow
Dept. of Computer Science
UK-G12 8QQ Glasgow
United Kingdom
Tel: +44 141 330 4969
E-mail: muffy@dcs.glasgow.ac.uk

Abstract:

This talk discusses some of the requirements for a data type language in LOTOS, how ACT ONE meets them, and how other languages and constructs might better fulfill them.

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-2


This Page was prepared by Mark Jorgensen.


Back to the VASY Home page