Extended ML: Past, present and future

Extended ML: Past, present and future (1991)

by Donald Sannella , Andrzej Tarlecki

Venue:	PROC. 7TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES, WUSTERHAUSEN. SPRINGER LNCS 534
Citations:	22 - 8 self

User correction supplied by mph

Datum	Value	Source
TITLE	Extended ML: Past, present and future	user correction - Legacy Corrections
AUTHOR NAME	Donald Sannella	user correction
AUTHOR NAME	Andrzej Tarlecki	user correction
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.	user correction
YEAR	1991	INFERENCE
VENUE	PROC. 7TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES, WUSTERHAUSEN. SPRINGER LNCS 534	user correction
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	297--322	INFERENCE
VOLUME	297	INFERENCE
TECH	Technical report ECS-LFCS-91-138	INFERENCE
CITATIONS	67 found	ParsCit 1.0