See this document in CiteSeerX!

A Formalisation of Encapsulated Modification of Objects (1996)  (Make Corrections)  
Kim Mens, Kris De Volder, Tom Mens



  Home/Search   Context   Related

 
View or download:
prog.vub.ac.be/Pub...progtr9606.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  prog.vub.ac.be/...s.php?team=PROG (more)
(Enter author homepages)

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

Abstract: Currently existing formalisations of object orientation are unsatisfactory w.r.t. (Update)

Active bibliography (related documents):   More   All
1.7:   A Formalisation of Encapsulated Modification of Objects - Mens, De Volder, Mens (1996)   (Correct)
0.4:   A Layered Calculus for Encapsulated Object.. - Mens, De Volder.. (1996)   (Correct)
0.3:   Techniques For Building Open Hypermedia Systems - Demeyer, Steyaert, De Hondt (1994)   (Correct)

Similar documents based on text:
0.6:   A Survey on Formal Models for OO - Mens (1994)   (Correct)
0.4:   A Lens On The Encapsulation Operator - Van Limberghen, Mens (1996)   (Correct)

BibTeX entry:   (Update)

@misc{ mens-formalisation,
  author = "Kim Mens and Kris De Volder and Tom Mens",
  title = "A Formalisation of Encapsulated Modification of Objects",
  url = "citeseer.ist.psu.edu/mens96formalisation.html" }
Citations (may not include all citations):
306   Self: The Power of Simplicity (context) - Ungar, Smith - 1987
240   Mixin-based Inheritance - Bracha, Cook - 1990
221   Denotational Semantics: A Methodology for Language Developme.. (context) - Schmidt - 1986
100   Smalltalk 80: The Language and its Implementation (context) - Goldberg, Robson - 1983
91   Inheritance as an Incremental Modification Mechanism (context) - Wegner, Zdonik - 1988
73   A Delegation-based Object Calculus with Subtyping - Fisher, Mitchell - 1995
72   A Theory of Primitive Objects: Untyped and First-Order Syste.. - Abadi, Cardelli - 1994
71   Operations on Records - Cardelli, Mitchell - 1991
58   Inheritance and the Development of Encapsulated Software Com.. (context) - Snyder - 1987
41   Typing the Specialization Interface (context) - Lamping - 1993
37   Object-Oriented Programming Without Recursive Types - Pierce, Turner - 1993
37   A survey of object-oriented concepts - Nierstrasz - 1989
25   Nested Mixin-Methods in Agora - Steyaert, Codenie et al. - 1993
24   Programming Language Second Edition (context) - The - 1992
23   Prototype-Based Languages: From a New Taxonomy to Constructi.. - Dony, Malenfant et al. - 1992
21   A Marriage of Class- and Object-Based Inheritance Without Un.. (context) - Steyaert, De Meuter - 1995
8   Agora: Message Passing as a Foundation for Exploring OO Lang.. - Codenie, De Hondt et al. - 1994
7   Supporting Evolving Objects Without Giving Up Classes - Mezini - 1995
7   Generalised mixin-based inheritance to support multiple inhe.. (context) - Boyen, Lucas et al. - 1994
5   Open Design of Object-Oriented Languages: A foundation for S.. (context) - Steyaert - 1994
3   OPUS: a Calculus for Modelling ObjectOriented Concepts - Mens, Mens et al. - 1994
2   Typing Dynamic Inheritance: A Trade-off between extensibilit.. (context) - Lucas, Mens et al. - 1995

Documents on the same site (http://prog.vub.ac.be/progsite/Prog%20Publications.php?team=PROG):   More
Transformational Software Evolution by Assertions - Mens (2001)   (Correct)
Annotating Evolving Software with Explicit Intentions - Mens (1998)   (Correct)
Modular Inheritance of Objects through Mixin-Methods - Lucas, Steyaert (1994)   (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