Extended ML: Past, present and future

D. Sannella and A. Tarlecki

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.

LFCS report ECS-LFCS-91-138

Previous | Index | Next