See this document in CiteSeerX!

JAC Java with Transitive Readonly Access Control (1999)  (Make Corrections)  (3 citations)
Günter Kniesel, Dirk Theisen



  Home/Search   Context   Related

 
View or download:
cuiwww.unige.ch/~ecoopw...kniesel.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  math.tau.ac.il/~guy/pa/java (more)
(Enter author homepages)

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

Abstract: Unwanted effects of aliasing cause encapsulation problems in object oriented programming. Nevertheless, aliasing is part of common and efficient programming techniques for expressing sharing of objects and as such its general restriction is not an option in practice. We present an approach that allows full referential object sharing, but adds control to object references to limit the effects of aliasing. (Update)

Similar documents based on text:   More   All
2.4:   Flexible Aliasing with Protection - Kniesel, Theisen (1999)   (Correct)
0.4:   Encapsulation = Visibility + Accessibility - Kniesel (1996)   (Correct)
0.2:   Encapsulation and Inheritance in Object-Oriented Programming.. - Snyder (1986)   (Correct)

Related documents from co-citation:   More   All
3:   Flexible alias protection - Noble, Vitek et al.
2:   Compaq Systems Research Center (context) - Detlefs, Rustan et al. - 1998
2:   The Geneva convention on the treatment of object aliasing - Hogg, Lea et al. - 1992

BibTeX entry:   (Update)

G. Kniesel and D. Theisen. JAC -- Java with transitive readonly access control, 1999. Intercontinental Workshop on Aliasing in Object-Oriented Systems, IWAOOS'99. http://citeseer.ist.psu.edu/kniesel99jac.html   More

@misc{ kniesel99jac,
  author = "G. Kniesel and D. Theisen",
  title = "JAC -- Java with transitive readonly access control",
  text = "G. Kniesel and D. Theisen. JAC -- Java with transitive readonly access
    control, 1999. Intercontinental Workshop on Aliasing in Object-Oriented
    Systems, IWAOOS'99.",
  year = "1999",
  url = "citeseer.ist.psu.edu/kniesel99jac.html" }
Citations (may not include all citations):
2157   Design Patterns -- Elements of Reusable Object-Oriented Soft.. (context) - Gamma, Helm et al. - 1995
746   The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1997
461   Programming Language (context) - Stroustrup - 1991
380   The Java Language Specification (context) - Gosling, Joy et al. - 1996
342   Eiffel: The Language (context) - Meyer - 1992
100   Islands: Aliasing protection in object-oriented languages (context) - Hogg - 1991
74   Encapsulation and inheritance in object-oriented programming.. - Snyder - 1986
68   Flexible alias protection - Noble, Vitek et al. - 1998
56   Java is Type Safe - Probably - Drossopoulou, Eisenbach
51   Interfaces for strongly-typed object-oriented programming (context) - Canning, Cook et al. - 1989
37   Balloon types: Controlling sharing of state in data types (context) - Almeida - 1997
30   Java-light is Type-Safe -- Definitely - Oheimb, von
25   Confined Types - Bokowski, Vitek
21   A marriage of class- and object-based inheritance without un.. (context) - Steyaert, de Meuter - 1995
21   associations and subsystems: A hierarchical approach to enca.. (context) - Bicarregui, Lano et al. - 1997
14   Poor Man's Genericity for Java - Bokowski, Dahm - 1998
7   Making the future safe for the past: Adding genericity to th.. (context) - Braha, Odersky et al. - 1998
6   Object Ownership to Order (context) - Bokowski
6   Darwin -- Dynamic Object-Based Inheritance with Subtyping (context) - Kniesel - 1999
4   Technical Report IAITR (context) - Kniesel, Visibility - 1996
3   Enhancing encapsulation in OOP -- a practical approach (context) - Theisen - 1999
3   Value types in eiffel (context) - Kent, Howse - 1996
2   Overcoming Representation Exposure - Clarke, Noble et al.
2   edu sather Documentation LanguageDescriptioncontent (context) - Gomes, Boris et al. - 1996
1   Report on ECOOP'91 workshop W3: The Geneva convention on the.. (context) - Hogg, Lea et al. - 1992
1   The Java Class Library - Annotated Reference (context) - Gosling - 1997
1   Technology of ObjectOriented Languages and Systems (context) - Kent, Maung et al. - 1995
1   Intercontinental Workshop on Aliasing in Object-Oriented Sys.. (context) - Workshop, in et al. - 1999
1   Java-Report (context) - Davis - 1999
1   Improved Encapsulation for Java (context) - Kniesel, Braun et al. - 1997
1   Online documentation httpjava (context) - Gong, architecture et al. - 1998
1   the notion of object state (context) - Kniesel - 1999
1   theory and practice: const as a promise (context) - Saks - 1996

Documents on the same site (http://www.math.tau.ac.il/~guy/pa/java.html):   More
Dynamic semantics of Java byte-code - Bertelsen (1998)   (Correct)
A Programmer Friendly Modular Definition of the Semantics of.. - Börger, Schulte (1997)   (Correct)
A Type System for Java Bytecode Subroutines - Stata, Abadi (1998)   (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