Interfaces and Extended ML

Stefan Kahrs and Donald Sannella and Andrzej Tarlecki

Abstract: This is a position paper giving our views on the uses and makeup of module interfaces. The position espoused is inspired by our work on the Extended ML (EML) formal software development framework and by ideas in the algebraic foundations of specification and formal development. The present state of interfaces in EML is outlined and set in the context of plans for a more general EML-like framework with axioms in interfaces taken from an arbitrary logical system formulated as an institution. Some more speculative plans are sketched concerning the simultaneous use of multiple institutions in specification and development.

LFCS report ECS-LFCS-94-283, February 1994.

Previous | Index | Next