Forcing Behavioral Subtyping Through Specification Inheritance

Forcing Behavioral Subtyping Through Specification Inheritance (1997)

Download From

IEEE

Download Links

Other Repositories/Bibliography

DBLP

by Krishna Kishore Dhara , Gary T. Leavens

Citations:

108 - 31 self

BibTeX

@MISC{Dhara97forcingbehavioral,
    author = {Krishna Kishore Dhara and Gary T. Leavens},
    title = {Forcing Behavioral Subtyping Through Specification Inheritance},
    year = {1997}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1392	The C++ Programming Language - Stroustrup - 1986
398	A Behavioral Notion of Subtyping - Liskov, Wing - 1994
377	Proof of correctness of data representations - Hoare - 1972
332	Types, abstraction, and parametric polymorphism - Reynolds - 1983
293	editors: Larch: Languages and Tools for Formal Speci cation - Guttag, Horning - 1993
135	Designing an Object-Oriented Programming Language with Behavioural Subtyping, Foundations of Object-Oriented Languages - America - 1991
133	Typeful Programming - Cardelli - 1989
79	Eiffel: the language. Object-Oriented Series - Meyer - 1992
50	Reasoning about Object-oriented Programs that use Subtypes (extended abstract - Leavens, Weihl - 1990
45	Specifications and their use in defining subtypes - Liskov, Wing - 1993
21	editors. Object-Oriented Specification Case Studies. The Object-Oriented Series - Lano, Haughton - 1994
17	Weak Behavioral Subtyping for Types with Mutable Objects - Dhara, Leavens - 1995
17	Refinement in Fresco - Wills - 1993
11	An algebraic model of subtypes in object-oriented languages - Bruce, Wegner - 1986
11	Inheritance in object oriented Z - Cusack - 1991
9	A quick overview of Larch/C - Cheon, Leavens - 1994
8	modular specification, and modular verification for applicative objectoriented programs - Subtyping - 1992
4	An observational subset of first-order logic cannot specify the behaviour of a counter - Schoett - 1991
2	Larch/C++ Reference Manual. Version 4.1. Available in ftp://ftp.cs.iastate.edu/pub/larchc++/lcpp.ps.gz or on the world wide web at the URL http://www.cs.iastate.edu/~leavens/larchc++.html - Leavens - 1995
2	Larch/C++ Reference Manual. Version 5.1. Available in ftp://ftp.cs.iastate.edu/pub/larchc++/lcpp.ps.gz or on the world wide web at the URL http://www.cs.iastate.edu/~leavens/larchc++.html - Leavens - 1997