K. R. M. Leino and G. Nelson. Data abstraction and information hiding. ACM Trans. Program. Lang. Syst., 24(5):491--553, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Adoption and Focus: Practical Linear Types for Imperative.. - Fahndrich, DeLine (2002) (37 citations) (Correct)
....and checking representation invariants have been proposed, all with incomparable expressivity and enforceability. For example, the pivots used in ESC correspond to a linear component of a possibly shared container, but the formalism developed by Leino et al. does not allow pivots to be reused [8]. Roles [7] enable the description of precise heap structures, since they allow more than a single reference to tracked objects, as long as all references are known. However, if an object s role is the equivalent of a guarded type, i.e. with an unknown number of references, the object s role is ....
K. R. M. Leino and G. Nelson. Data abstraction and information hiding. Technical Report 160, Compaq SRC, nov 2000.
Extended Static Checking for Java - Flanagan, Leino, Lillibridge.. (2002) (110 citations) Self-citation (Leino Nelson) (Correct)
....are amenable to processing with tools targeting JML and sometimes vice versa, and programmers who learn one language should have little trouble picking up the other. 4.2 Data abstraction vs. object invariants The specification language for ESC Modula 3 included general data abstraction [32]. Abstract variables could be declared (including abstract object fields) which were unknown to the compiler and used only for the purposes of the specification language. The exact meaning of an abstract variable is given by a representation declaration , which specifies the value of the ....
....behavior on the part of the client, even though the representation is invisible to the client, because the representation matters only to the implementation, not the client. General data abstraction is sweetly reasonable, but it is more complicated than we would like (by about a hundred pages [32]) Mindful of the principle that perfection is achieved not when there is nothing left to add but when there is nothing left to remove, we decided to leave data abstraction out of ESC Java. In ESC Modula 3, data abstraction was used almost exclusively in the state validity paradigm. ESC Java ....
[Article contains additional citation context not shown here]
K. R. M. Leino and G. Nelson. Data abstraction and information hiding. Research Report 160, Compaq SRC, Nov. 2000.
Ensuring Invariant Contracts for Modules in Java - Andreas Roth And (2004) (Correct)
No context found.
K. R. M. Leino and G. Nelson. Data abstraction and information hiding. ACM Trans. Program. Lang. Syst., 24(5):491--553, 2002.
Symbolic Execution with Separation Logic - Berdine, Calcagno, O'Hearn (2005) (2 citations) (Correct)
No context found.
K. R. M. Leino and G. Nelson. Data abstraction and information hiding. ACM Trans. Program. Lang. Syst., 24(5):491--553, 2002.
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) (Correct)
No context found.
K.R.M. Leino and G. Nelson. Data abstraction and information hiding. ACM TOPLAS 24(5): 491-553, 2002.
Ensuring Invariant Contracts for Modules in Java - Roth, Schmitt (Correct)
No context found.
K. R. M. Leino and G. Nelson. Data abstraction and information hiding. ACM Trans. Program. Lang. Syst., 24(5):491--553, 2002.
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) (Correct)
No context found.
K.R.M. Leino and G. Nelson. Data abstraction and information hiding. ACM TOPLAS 24(5): 491-553, 2002.
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