(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