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