Towards a proposal for datatypes in E-LOTOS (1995)
BibTeX
@MISC{Leduc95towardsa,
author = {Guy Leduc and Charles Pecheur and Hubert Garavel and Mihaela Sighireanu and Alan Jeffrey},
title = {Towards a proposal for datatypes in E-LOTOS},
year = {1995}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This document makes proposals for the data language of Enhanced LOTOS. It describes a core language, plus a module system and standard libraries. Possible approaches to the dynamic and static semantics of the language are sketched out. The relationship of the model to the behavioural part of LOTOS and the other E-LOTOS enhancements are discussed. Contents 1 Summary 3 1.1 Objective . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.4 Status . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.5 Standards . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2 Introduction 3 3 Related work 5 3.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.2 The PhD Thesis of Ed Brinksma . . . . . . . . . . . . . . . . . . . . . 5 3.3 The LOTOSPHERE pr...
