by K. Rustan, K. Rustan, M. Leino, M. Leino
In The Fifth International Workshop on Foundations of ObjectOriented Languages
ftp://ftp.digital.com/pub/DEC/SRC/technical-notes/SRC-1997-026.ps.gz
Add To MetaCart
Abstract:
Specifying the modification of extended state
Citations
|
348
|
A behavioral notion of subtyping
– Liskov, Wing
- 1994
|
|
342
|
Proofs of correctness of data representations
– Hoare
- 1972
|
|
275
|
Larch: Languages and Tools for Formal Specification
– Guttag, Horning
- 1993
|
|
125
|
A logic of object-oriented programs
– Abadi, Leino
- 1997
|
|
104
|
Toward reliable modular programs
– Leino
- 1995
|
|
76
|
An overview of the extended static checking system
– Detlefs
- 1996
|
|
61
|
Wrestling with rep exposure
– Detlefs, Leino, et al.
- 1998
|
|
56
|
Typing the specialization interface
– Lamping
- 1993
|
|
37
|
Reasoning about dynamically evolving process structures
– America, Boer
- 1994
|
|
33
|
Ecstatic: An object-oriented programming language with an axiomatic semantics
– Leino
- 1997
|
|
32
|
Verifying Object-Oriented Programs that Use Subtypes
– Leavens
- 1989
|
|
28
|
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
– Leavens, Baker
- 1999
|
|
28
|
An overview of Larch/C++: Behavioral specifications for C++ modules, in
– Leavens
- 1996
|
|
27
|
Specification and verification of object-oriented programs
– Poetzsch-Heffter
- 1997
|
|
24
|
editors. Object-Oriented Specification Case Studies. The Object-Oriented Series
– Lano, Haughton
- 1994
|
|
23
|
Predicate transformer semantics of an Oberon-like language
– Naumann
- 1994
|
|
19
|
Exploiting Specifications to Improve Program Performance
– Vandevoorde
- 1994
|
|
15
|
Upgrading the pre- and postcondition technique
– Jonkers
- 1991
|
|
13
|
Modularity in the presence of subclassing
– Stata
- 1997
|
|
11
|
and Raymie Stata. Checking object invariants
– Leino
- 1997
|
|
6
|
Abstraction and specification revisited
– Leino, Nelson
- 1998
|
|
4
|
Recursive object types in a logic of oject-oriented programs
– Leino
- 1998
|
|
1
|
Modularity in the presence of subclassing. Research Report 145
– Stata
- 1997
|
