© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Interfaces and Extended ML
Don Sannella, Andrzej Tarlecki, and Stefan Kahrs
SIGPLAN Notices, 29(8):182-196, November 1994.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 \emph{institution}. Some more speculative plans are sketched concerning the simultaneous use of multiple institutions in specification and development.
Download publication 35 kbytes
Bibtex Record
@article{558, author = {Don Sannella and Andrzej Tarlecki and Stefan Kahrs}, title = {Interfaces and {E}xtended {ML}}, month = {November}, year = {1994}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1994/558}, journal = {SIGPLAN Notices}, number = {8}, publisher = {ACM Press}, volume = {29}, }