Hoare, C. A. R., Proof of Correctness of Data Representation, Acta Informatica 4, 1972, 271-281. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Unknown - Implementing Coherent Memory (Correct)
No context found.
Hoare, C. A. R., Proof of Correctness of Data Representation, Acta Informatica 4, 1972, 271-281.
Modular Verification of Code with SAT - Greg Dennis Felix (2006) (Correct)
No context found.
C.A.R. Hoare. Proofs of Correctness of Data Representations. Acta Informatica, 1(4), 1972.
Reasoning about Method Calls in Interface Specifications - Darvas, Müller (2006) (Correct)
No context found.
C. A. R. Hoare. Proofs of correctness of data representation. Acta Inf., 1(4):271-- 281, 1972.
Unknown - (Correct)
No context found.
C.A.R. Hoare. Proof of Correctness of Data Representations. Acta Informatica 1(1):271 -281, 1972.
Ensuring Structure and Behavior Correctness in . . . - Dong (Correct)
No context found.
C. A. R. Hoare. Proof of correctness of data representations. Acta Informatica, 1(4):271--281, 1972.
Separation Logic and Abstraction - Parkinson, Bierman (2005) (2 citations) (Correct)
No context found.
C. A. R. Hoare. Proof of correctness of data representations. Acta Informatica, 1(4):271--281, 1972.
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) (Correct)
No context found.
C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica 4, 271-281, 1972.
Substitution: Syntactic versus Semantic - Lamport (1998) (Correct)
No context found.
C. A. R. Hoare. Proof of correctness of data representations. Acta Informatica, 1:271--281, 1972.
Composing Specifications - Abadi, Lamport (1993) (105 citations) (Correct)
No context found.
Hoare, C. A. R. Proof of correctness of data representations. Acta Inf. 1 (1972), 271--281.
Family Values: A Semantic Notion of Subtyping - Barbara Liskov And (1992) (5 citations) (Correct)
No context found.
C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica (1):271-281, 1972.
Refinement and Separation Contexts - Mijajlovic, Torp-Smith, O'Hearn (Correct)
No context found.
Hoare, C. A. R.: Proof of Correctness of Data Representations. Acta Informatica. Vol. 1. (1972) 271--281
Modular Verification of Global Module Invariants in.. - Leino, Müller (2004) (Correct)
No context found.
C. A. R. Hoare. Proofs of correctness of data representation. Acta Informatica, 1(4):271--281, 1972.
Verification Via Structure Simulation - Immerman, Rabinovich, Reps.. (2004) (1 citation) (Correct)
No context found.
C.A.R. Hoare. Proof of correctness of data representations. Acta Inf., 1:271--281, 1972.
Strengthening Eiffel Contracts Using Models - Schoeller (Correct)
No context found.
C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica, 1(4):271--281, 1972.
Data Structures and Amortized Complexity in a Functional Setting - Schoenmakers (1992) (5 citations) (Correct)
No context found.
Hoare C.A.R. Proof of correctness of data representations. Acta Informatica 1 (1972) 271--281.
Type-checking Balloon Types - Almeida (1999) (Correct)
No context found.
C. A. R. Hoare. Proof of correctness of data representations. Acta Informatica, 1:271-281, 1972.
On TLA as a Logic - Abadi, Merz (1996) (2 citations) (Correct)
No context found.
C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica, 1:271--281, 1972.
On Refinement of Generic Software Components - Meng, Barbosa (2003) (Correct)
No context found.
C. A. R. Hoare. Proof of correctness of data representations. Acta Informatica, 1:271--281, 1972.
Data groups: Specifying the modification of extended state - Rustan Leino Compaq (1998) (17 citations) (Correct)
No context found.
C. A. R. Hoare. Proof of correctness of data representations. Acta Informatica, 1(4):271--81, 1972.
JML Reference Manual - Leavens, Poll, Clifton, Cheon, Ruby, .. (2004) (5 citations) (Correct)
No context found.
C. A. R. Hoare. Proof of correctness of data representations. Acta Informatica, 1(4):271-281 (1972).
Formal Methods and the Certification of Critical Systems - Rushby (1993) (50 citations) (Correct)
No context found.
C. A. R. Hoare. Proof of correctness of data representations. Acta Informatica, 1:271--281, 1972.
IEEE 48 Computer - Uncovering Hidden Contracts (Correct)
No context found.
C.A.R. Hoare, "Proof of Correctness of Data Representations, " Acta Informatica, vol. 1, 1973, pp. 271-281.
JML Reference Manual - Draft Revision December (Correct)
No context found.
C. A. R. Hoare. Proof of correctness of data representations. Acta Informatica, 1(4):271-281 (1972).
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
No context found.
C.A.R. Hoare. Proofs of correctness of data representations. Acta Informatica 1:271--281 (1972).
Design and Veri - Cation Of Secure (Correct)
No context found.
C. A. R. Hoare. Proof of correctness of data representations. Acta Informatica,
First 50 documents Next 50
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