Extended ML: Past, present and future (1991)
Cached
Download Links
- [www.dcs.ed.ac.uk]
- [ftp.dcs.ed.ac.uk]
- CiteULike
Other Repositories/Bibliography
by
Donald Sannella
,
Andrzej Tarlecki
| Venue: | PROC. 7TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES, WUSTERHAUSEN. SPRINGER LNCS 534 |
| Citations: | 22 - 8 self |
BibTeX
@INPROCEEDINGS{Sannella91extendedml:,
author = {Donald Sannella and Andrzej Tarlecki},
title = {Extended ML: Past, present and future},
booktitle = {PROC. 7TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES, WUSTERHAUSEN. SPRINGER LNCS 534},
year = {1991},
pages = {297--322},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
An overview of past, present and future work on the Extended ML formal program development framework is given, with emphasis on two topics of current active research: the semantics of the Extended ML specification language, and tools to support formal program development.
