Abstract

data types, modules, packages; F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs --- logics of programs, pre- and post-conditions, theory A version of this technical report is published as the author's doctoral dissertation. c fl Copyright 1997 by Krishna Kishore Dhara All rights reserved. Department of Computer Science 226 Atanasoff Hall Iowa State University Ames, Iowa 50011-1040, USA ii TABLE OF CONTENTS 1. INTRODUCTION : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 1.1 Problem : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 1.1.1 Reasoning problem and behavioral subtyping : : : : : : : : : : 2 1.1.2 Aliasing and behavioral subtyping : : : : : : : : : : : : : : : : 4 1.2 Overview of the solutions : : : : : : : : : : : : : : : : : : : : : : : : : 6 1.2.1 Different notions of behavioral subtyping : : : : : : : : : : : : 6 1.2.2 Semantic conditions : : : : : : : : : : : : : : : : : : : : : : : : 7 1.2.3 "...

Citations

475	A Semantics of Multiple Inheritance - Cardelli - 1988
155	Object-oriented multi-methods in Cecil - Chambers - 1992
135	Designing an Object-Oriented Programming Language with Behavioural Subtyping, Foundations of Object-Oriented Languages - America - 1991
133	Typeful Programming - Cardelli - 1989
132	Fundamentals of algebraic specification 1: Equations and initial semantics - Ehrig, Mahr - 1985
127	A Logic of Object-Oriented Programs - Abadi, Leino - 1997
108	Forcing Behavioral Subtyping Through Speci - cation Inheritance - Dhara, Leavens - 1996
98	Inheritance and subtyping in a parallel object-oriented language - America - 1987
97	Typechecking and modules for multi-methods - Chambers, Leavens - 1994
64	Interfaces and Specifications for the Smalltalk-80 Collection Classes - Cook - 1992
29	An algebraic model of subtype and inheritance - Bruce, Wegner - 1990
11	Inheritance in object oriented Z - Cusack - 1991