Journal Article10.1145/197320.197383
A behavioral notion of subtyping
Barbara Liskov,Jeannette M. Wing +1 more
1.2K
TL;DR: This paper presents a way of specifying types that makes it convenient to define the subtype relation, and discusses the ramifications of this notion of subtyping on the design of type families.
read more
Abstract: The use of hierarchy is an important component of object-oriented design. Hierarchy allows the use of type families, in which higher level supertypes capture the behavior that all of their subtypes have in common. For this methodology to be effective, it is necessary to have a clear understanding of how subtypes and supertypes are related. This paper takes the position that the relationship should ensure that any property proved about supertype objects also holds for its subtype objects. It presents two ways of defining the subtype relation, each of which meets this criterion, and each of which is easy for programmers to use. The subtype relation is based on the specifications of the sub- and supertypes; the paper presents a way of specifying types that makes it convenient to define the subtype relation. The paper also discusses the ramifications of this notion of subtyping on the design of type families.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Journal Article
OOP: the rest of the story
Chuck Allison,Nathan Liddle +1 more
TL;DR: This paper explores multimethods, contract programming, and implementing objects without an explicit class type, with examples in popular, modern programming languages.
The refinement calculus of reactive systems
01 May 2022
TL;DR: The Refinement Calculus of Reactive Systems (RCRS) as discussed by the authors is a compositional formal framework for modeling and reasoning about reactive systems, which can specify both safety and liveness properties.
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Faults in Concurrent Object- Oriented Software
Wladimir Araujo,Lionel C. Briand,Yvan Labiche +2 more
- 01 Sep 2013
TL;DR: It is shown that DbC can not only be applied to concurrent software but can also be a valuable tool to improve the economics of software engineering.
OOT, DO-178C and SPARK
Roderick Chapman,Trevor Jennings +1 more
- 20 Jun 2011
TL;DR: This position paper briefly covers the design of object-oriented programming in SPARK, and goes on to discuss the potential impact that the emerging DO-178C and Ada2012 standards might have on SPARK.
•Dissertation
Test & validation de composants logiciels
Arnaud Bailly
- 01 Jan 2005
TL;DR: In this article, a modele de composants permettant l'expression de contrats comportementaux, modele dote d'une semantique formelle sous la forme de langages de traces lies a categorie particuliere d'automates, intitule FIDL.
References
•Book
The C++ Programming Language
Bjarne Stroustrup
- 01 Jan 1985
TL;DR: Bjarne Stroustrup makes C even more accessible to those new to the language, while adding advanced information and techniques that even expert C programmers will find invaluable.
8.1K
Proof of correctness of data representations
TL;DR: In this paper, a powerful method of simplifying the proofs of program correctness is suggested; and some new light is shed on the problem of functions with side-effects, and a new method for simplifying program correctness proofs is proposed.
1K
The C++ programming language
Bjarne Stroustrup
- 01 Jan 1986
TL;DR: The C Programming Language as discussed by the authors provides a complete, authoritative coverage of the C language, its standard library, and key design techniques, as well as its locales and exception safety.
935
A semantics of multiple inheritance.
Luca Cardelli
- 01 Jul 1984
TL;DR: The notion of inheritance and object-oriented programming first appeared in Simula 67 (Dahl, 1966), where objects are grouped into classes and classes can be organized into a subclass hierarchy as discussed by the authors.