See this document in CiteSeerX!

The Geneva Convention On The Treatment of Object Aliasing (1992)  (Make Corrections)  (66 citations)
John Hogg, Lea, Wills, De Champeaux, Holt
OOPS Messenger



  Home/Search   Context   Related

 
View or download:
oswego.edu/pub/pap...OOPSMessenger92.ps
oswego.edu/dl/pape...OOPSMessenger92.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  oswego.edu/dl/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Object Model [Sny91], we assume that all method argument and result passing is performed in a manner classically described as "by-reference", but perhaps better labelled as "by-identity". Objects may be accessed "directly" through a bound variable or pseudovariable, or "indirectly" through the instance variables of other objects. More generally an access path is a sequence of variable names. The evaluation of the first variable within the current context yields a new context that is an object... (Update)

Cited by:   More
The Journal of Supercomputing, 28, 91--117, 2004 - Run-Time Support For   (Correct)
Run-Time Support for the Automatic - Parallelization Of Java   (Correct)
Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002)   (Correct)

Active bibliography (related documents):   More   All
0.3:   The Semantics of Object-Oriented Databases - Brown (1997)   (Correct)
0.3:   Graph Semantics for Object Oriented Programming - Grogono   (Correct)
0.2:   An Imperative Language with Read/Write Type Modes - Paul Roe (1997)   (Correct)

Similar documents based on text:   More   All
0.1:   Instance-Based Classification by Emerging Patterns - Li, Dong, Ramamohanarao (2000)   (Correct)
0.1:   PSL: Protocols and Pragmatics for Open Systems - Lea, Marlowe (1995)   (Correct)
0.1:   WISR'93: 6th Annual Workshop on Software Reuse Summary and.. - Jeff Poulin (1994)   (Correct)

Related documents from co-citation:   More   All
50:   Islands: Aliasing Protection in Object-Oriented Languages (context) - Hogg - 1991
32:   Towards alias-free pointers - Minsky - 1996
26:   Flexible alias protection - Noble, Vitek et al.

BibTeX entry:   (Update)

J. Hogg, D. Lea, A. Wills, D. deChampeaux, and R. Holt. The Geneva convention on the treatment of object aliasing. Follow-up report on ECOOP'91 workshop W3: Object-oriented formal methods. OOPS Messanger, 3(2):11-16, April 1992. http://citeseer.ist.psu.edu/hogg92geneva.html   More

@article{ hogg92geneva,
    author = "John Hogg and Doug Lea and Alan Wills and Dennis {deChampeaux} and Richard Holt",
    title = "The {Geneva Convention} on the Treatment of Object Aliasing",
    journal = "OOPS Messenger",
    volume = "3",
    number = "2",
    pages = "11--16",
    year = "1992",
    url = "citeseer.ist.psu.edu/hogg92geneva.html" }
Citations (may not include all citations):
1274   Object-Oriented Software Construction (context) - Meyer - 1988
167   Dimensions of object-based language design (context) - Wegner - 1987
100   Islands: Aliasing protection in object-oriented languages (context) - Hogg - 1991
99   Polymorphic effect systems (context) - Lucassen, Gifford - 1988
95   Making pure object-oriented languages practical - Chambers, Ungar - 1991
51   Soundness and completeness of an axiom system for program ve.. (context) - Cook - 1978
26   Copying and swapping: Influences on the design of reusable s.. (context) - Harms, Weide - 1991
12   Pointer-induced aliasing: A Problem taxonomy (context) - Landi, Ryder - 1991
8   Capsules and types in Fresco: Program verification in Smallt.. (context) - Wills - 1991
6   A sound and complete proof system for SPOOL (context) - America, de Boer - 1990
4   The Turing Language: Design and Definition (context) - Holt, Matthews et al. - 1988
3   object model: An Application of an abstract object Model In .. (context) - Snyder - 1991



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://g.oswego.edu/dl/):   More
The Process of Object-Oriented Design - de Champeaux, Lea, Faure   (Correct)
Customization in C++ - Douglas Lea (1990)   (Correct)
Design Patterns for Avionics Control Systems - Lea (1995)   (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