C.A.R. Hoare, He Jifeng  Home/Search
Context Related
| win.tue.nl/~keesh/...engTraceModel.pdf 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: win.tue.nl/~keesh/soop/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Object-oriented programs [Dahl, Goldberg, Meyer] are notoriously prone to the following kinds of error, which could lead to increasingly severe problems in the presence of tasking 1. Following a null pointer 2. Deletion of an accessible object 3. Failure to delete an inaccessible object 4. Interference due to equality of pointers 5. Inhibition of optimisation due to fear of (4) Type disciplines and object classes are a great help in avoiding these errors. Stronger protection may be obtainable... (Update)
Cited by: More
Compositional Reasoning for Pointer Structures - Chen, Sanders (Correct)
A Predicative Semantics of Objects and References - Chen (Correct)
BI as an Assertion Language for Mutable Data Structures - Samin Ishtiaq Peter (2000) (Correct)
Active bibliography (related documents): More All
0.2: Semantic Analysis of Pointer Aliasing, Allocation and.. - Calcagno, Ishtiaq.. (2000) (Correct)
0.2: Semantic and Logical Properties of Stateful Programming - Calcagno (2002) (Correct)
0.1: Programming with Variable Functions - Odersky (1998) (Correct)
Similar documents based on text: More All
0.3: An Operational Semantics of a Simulator Algorithm - He, Xu (2000) (Correct)
0.3: A Prolog Prototype for the Synthesis of Verilog - Iyoda, He (2001) (Correct)
0.3: An Algebraic Approach to Hardware/software Partitioning - Shengchao, He (2000) (Correct)
Related documents from co-citation: More All
12: allocation and disposal in Hoare logic (context) - Calcagno, Ishtiaq et al. - 2000
11: Intuitionistic reasoning about shared mutable data structure - Reynolds - 2000
11: BI as an assertion language for mutable data structures - Ishtiaq, O'Hearn - 2000
BibTeX entry: (Update)
Hoare, C. A. R., and He, J. A trace model for pointers and objects. In ECCOP'99 - Object-Oriented Programming, 13th European Conference (1999), R. Guerraoui, Ed., pp. 1-17. Lecture Notes in Computer Science, Vol. 1628, Springer. http://citeseer.ist.psu.edu/hoare99trace.html More
@article{ hoare99trace,
author = "C. A. R. Hoare and He Jifeng",
title = "A Trace Model for Pointers and Objects",
journal = "Lecture Notes in Computer Science",
volume = "1628",
pages = "1--??",
year = "1999",
url = "citeseer.ist.psu.edu/hoare99trace.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1987
1274 Object-oriented Software Construction (context) - Meyer - 1997
369 A semantics of multiple inheritance - Cardelli - 1988
134 A theory of objects (context) - Abadi, Cardelli - 1998
107 A denotational semantics of inheritance and its correctness - Cook, Palsberg - 1994
86 A correspondence between ALGOL 60 and Church's lambda-notati.. (context) - Landin - 1965
86 The language and its implementation (context) - Goldberg, Robson - 1983
27 an Algol-based simulation language (context) - Dahl, Nygaard - 1966
20 Verifying reachability invariants of linked structures (context) - Nelson - 1983
20 Two semantic models of object-oriented languages (context) - Kamin, Reddy - 1994
12 Calculating with pointer structures (context) - Moller - 1997
11 A proof of the Schorr-Waite algorithm (context) - Morris, axiom et al. - 1981
10 Science of Computer Programming (context) - Moller, algebra - 1993
7 A graphical calculus - Curtis, Lowe - 1995
1 Communications ACM vol 25 No (context) - Suzuki, pointer - 1982
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.win.tue.nl/~keesh/soop/): More
Making the future safe for the past: Adding.. - Bracha, Odersky.. (1998) (Correct)
A Logic of Object-Oriented Programs - Abadi, Leino (1998) (Correct)
Design Guidelines for Coordination Components - Tichelaar, Cruz, Demeyer (2000) (Correct)
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