Interfaces and extended ML

Authors:
Stefan Kahrs;Donald Sannella;Andrzej Tarlecki
Affiliations:
Laboratory for Foundations of Computer Science, Edinburgh University;Laboratory for Foundations of Computer Science, Edinburgh University;Institute of Informatics, Warsaw University, and Institute of Computer Science, Polish Academy of Sciences
Venue:
IDL '94 Proceedings of the workshop on Interface definition languages
Year:
1994

Citing 16
Cited 0

Algebraic laws for nondeterminism and concurrency

Journal of the ACM (JACM)
The C++ programming language

The C++ programming language
Toward formal development of programs from algebraic specifications: implementations revisited

Acta Informatica
Commentary on standard ML

Commentary on standard ML
A framework for defining logics

Journal of the ACM (JACM)
A calculus for the construction of modular Prolog programs

Journal of Logic Programming
Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
Program specification and development in standard ML

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Definition of Standard ML

The Definition of Standard ML
The Semantics of Extended ML: A Gentle Introduction

Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
New Concepts of Amalgamation and Extension for a General Theory of Specifications

Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
A Soft Stairway to Institutions

Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract)

TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
Foundations are Rich Institutions, but Institutions are Poor Foundations

Workshop on Categorial Methods in Computer Science: With Aspects from Topology
Extended ML: Past, Present, and Future

Proceedings of the 7th Workshop on Abstract Data Types: Recent Trends in Data Type Specification
Extended ML: an Institution - Independent Framework for Formal Program Development

Proceedings of the Tutorial and Workshop on Category Theory and Computer Programming

Quantified Score

Hi-index	0.01

Visualization

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.