See this document in CiteSeerX!

Alias and Union Types for Delegation (2003)  (Make Corrections)  
Christopher Anderson, Franco Barbanera, et al.



  Home/Search   Context   Related

 
View or download:
journals.teilar.gr/amct/p...1_Dezani.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  journals.teilar.gr/amct/pub/20... (more)
(Enter author homepages)

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

Abstract: We adapt the aliasing constraints approach for designing a flexible typing of evolving objects. Types are singleton types (addresses of objects, as a matter of fact) or finite "unions" of these. Their relevance is mainly due to the sort of safety property they guarantee. In particular we provide a type system for an imperative object based calculus with delegation and conditional expressions and which supports method and delegate overriding, addition, and removing. (Update)

Similar documents (at the sentence level):
5.1%:   Alias and Union Types for Delegation - Anderson, Barbanera, al. (2003)   (Correct)

Active bibliography (related documents):   More   All
0.8:   Can Addresses be Types? (a case study: objects with delegation) - Anderson, al. (2003)   (Correct)
0.2:   Extensible Objects: a Tutorial - Bono   (Correct)
0.2:   A Core Calculus of Mixin-Based Incomplete Objects.. - Bettini, Bono, Likavec   (Correct)

Similar documents based on text:   More   All
0.4:   A Calculus of Bounded Capacities - Barbanera, Bugliesi.. (2003)   (Correct)
0.1:   Complexity Results for Agent Design Problems - Dunne, Laurence, Wooldridge (2003)   (Correct)
0.1:   Empirically Derived Multimedia Design Guidelines for Browsing.. - Rigas (2003)   (Correct)

BibTeX entry:   (Update)

@misc{ anderson-alias,
  author = "Christopher Anderson and Franco Barbanera and et al.",
  title = "Alias and Union Types for Delegation",
  url = "citeseer.ist.psu.edu/article/anderson03alias.html" }
Citations (may not include all citations):
82   Alias Types for Recursive Data Structures - Walker, Morrisett - 2071  ACM   DBLP
73   A Delegation-Based Object Calculus with Subtyping - Fisher, Mitchell - 1995
72   Using Prototypical Objects to Implement Shared Behavior in O.. (context) - Lieberman - 1986  ACM
51   and Greg Morrisett (context) - Smith, Walker - 2000
27   Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
13   The SELF Programmers's Reference Manual (context) - Agesen, Bak et al. - 1992
12   Foundations of Object-Oriented Programming Languages: Types .. (context) - Bruce - 2002
9   Environment-Aware (context) - Damiani, Giannini et al. - 2003
5   an Imperative Object Based Calculus (context) - Anderson, Drossopoulou - 2002
4   Types and Programming Languages: Semantics (context) - Pierce - 2002
2   a case study: objects with delegation (context) - Anderson, Barbanera et al. - 2003

Documents on the same site (http://journals.teilar.gr/amct/pub/2003/):   More
Mixture of Expert Agents for Handling Imbalanced Data Sets - Kotsiantis, Pintelas (2003)   (Correct)
Empirically Derived Multimedia Design Guidelines for Browsing.. - Rigas (2003)   (Correct)
Complexity Results for Agent Design Problems - Dunne, Laurence, Wooldridge (2003)   (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