Kim Mens, Kris De Volder, Tom Mens  Home/Search
Context
Related
| prog.vub.ac.be/Pub...progtr9606.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: prog.vub.ac.be/...s.php?team=PROG (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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