Subtyping and constructive specification

Authors:
Ole-Johan Dahl;Olaf Owe;Tore J. Bastiansen
Affiliations:
Department of Informatics, University of Oslo, Norway;Department of Informatics, University of Oslo, Norway;Department of Informatics, University of Oslo, Norway
Venue:
Nordic Journal of Computing
Year:
1998

Citing 9
Cited 1

A simple sequent calculus for partial functions

Theoretical Computer Science
Principles of OBJ2

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Verifiable Programming

Verifiable Programming
Iota Programming System

Iota Programming System
On introducing higher order functions in ABEL

Nordic Journal of Computing
Elementary Strong Functional Programming

FPLE '95 Proceedings of the First International Symposium on Functional Programming Languages in Education
The Larch Shared Language: Some Open Problems

Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Formal Development with ABEL

VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
The specification and application to programming of abstract data types.

The specification and application to programming of abstract data types.

On introducing higher order functions in ABEL

Nordic Journal of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The use of subtyping is explored in the context of a style of constructive specification. The intention is to enhance expressiveness and strengthen syntactic controls. The resulting specification style is part of a wide spectrum language, ABEL, developed at the Oslo University. A concept of signature completeness is presented, as well as a completion algorithm. Some results relating to weak, strong, and optimal typing are proved.