K. Rustan M. Leino Compaq Systems Research Center 130 Lytton Ave., Palo Alto, ...  Home/Search
Context Related
| digital.com/pub/DE...krml83oopsla98.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: compaq.com/pub/DEC...SRC2000002 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper considers annotations for describing what variables a method may change and the interpretation of these annotations. The paper shows that there is a problem to be solved in the specification of methods whose overrides may modify additional state introduced in subclasses. As a solution to this problem, the paper... (Update)
Cited by: More
When separation logic met Java (by example) - Matthew Parkinson Middlesex (Correct)
Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002) (Correct)
Separation Logic and Abstraction - Parkinson, Bierman (2005) (Correct)
Similar documents (at the sentence level):
70.2%: Specifying the Modification of Extended State - Leino (1997) (Correct)
Active bibliography (related documents): More All
0.3: A Runtime Assertion Checker for the Java Modeling Language - Cheon (2003) (Correct)
0.3: Recursive Object Types in a Logic of Object-Oriented Programs - Leino (1997) (Correct)
0.3: Data Abstraction and Information Hiding - Leino, Nelson (2000) (Correct)
Similar documents based on text: More All
0.5: Houdini, an Annotation Assistant for ESC/Java - Flanagan, Leino (2001) (Correct)
0.5: JML: notations and tools supporting detailed design in.. - Leavens, Leino, Poll.. (2000) (Correct)
0.4: A Semantic Approach to Secure Information Flow - Joshi, Leino (2000) (Correct)
Related documents from co-citation: More All
12: Compaq Systems Research Center (context) - Detlefs, Rustan et al. - 1998
11: Object-oriented software construction (context) - Meyer - 1988
9: Proofs of correctness of data representations (context) - Hoare - 1972
BibTeX entry: (Update)
K. Rustan M. Leino. Data groups: Specifying the modification of extended state. In Proceedings of the 1998 ACM SIGPLAN Conference on ObjectOriented Programming, Systems, Languages, and Applications (OOPSLA '98), volume 33, number 10 in SIGPLAN Notices, pages 144--153. ACM, October 1998. http://citeseer.ist.psu.edu/rustan98data.html More
@inproceedings{ leinorustandata,
author = "K. Rustan M. Leino",
title = "Data groups: Specifying the modification of extended state",
pages = "144--153",
url = "citeseer.ist.psu.edu/rustan98data.html" }
Citations (may not include all citations):1274 Object-oriented Software Construction (context) - Meyer - 1988
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning - 1993
265 Proof of correctness of data representations (context) - Hoare - 1972
145 ACM Transactions on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
141 Compaq Systems Research Center (context) - Detlefs, Rustan et al. - 1998
141 Compaq Systems Research Center (context) - Detlefs, Rustan et al. - 1998
70 A logic of object-oriented programs - Abadi, Rustan et al. - 1997
56 An overview of the Extended Static Checking system - Detlefs - 1996
53 Object-Oriented Specification Case Studies (context) - Lano, Haughton - 1994
41 Typing the specialization interface (context) - Lamping - 1993
28 Available as Technical Report Caltech-CS-TR (context) - Rustan, Leino et al. - 1995
26 An extended static checker for Modula (context) - Rustan, Leino et al. - 1998
26 Aspect: Detecting bugs with abstract dependences (context) - Jackson - 1995
21 Reasoning about dynamically evolving process structures (context) - America, de Boer - 1994
20 Predicate transformer semantics of an Oberon-like language (context) - Naumann - 1994
19 Ecstatic: An objectoriented programming language with an axi.. (context) - Rustan, Leino - 1997
19 Enhancing the pre- and postcondition technique for more expr.. - Leavens, Baker - 1997
19 Verifying Object-Oriented Programs that Use Subtypes (context) - Leavens - 1989
16 Digital Equipment Corporation Systems Research Center (context) - Rustan, Leino et al. - 1998
16 Digital Equipment Corporation Systems Research Center (context) - Rustan, Leino et al. - 1997
15 Promises: Limited specifications for analysis and manipulati.. (context) - Chan, Boyland et al. - 1998
14 Exploiting Specifications to Improve Program Performance - Vandevoorde - 1994
9 Upgrading the pre- and postcondition technique (context) - Jonkers - 1991
8 overview LarchC++ Behavioral specification C++ module (context) - Leavens, of et al. - 1996
4 Digital Equipment Corporation Systems Research Center (context) - Stata, the et al. - 1997
2 Recursive object types in a logic of oject-oriented programs (context) - Rustan, Leino - 1998
1 Logical foundations for typed object-oriented languages (context) - Poetzsch-Heffter, Muller - 1998
1 Specifying the modification of extended state - Rustan, Leino - 1998
www.research.digital.com/SRC/esc
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC