A Kernel Specification Formalism with Higher Order Parameterisation (0)

by D Sannella, A Tarlecki
Venue:In 7th Workshop on Specification of Abstract Data Types. Lecture
Add To MetaCart
Results 1 - 2 of 2

Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract)

by Donald Sannella, Andrzej Tariecki
"... ..."
Abstract - Cited by 134 (34 self) - Add to MetaCart
Abstract not found

Extended ML: Past, present and future

by Donald Sannella , Andrzej Tarlecki - PROC. 7TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES, WUSTERHAUSEN. SPRINGER LNCS 534 , 1991
"... 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. ..."
Abstract - Cited by 22 (8 self) - Add to MetaCart
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.