Christopher Anderson, Franco Barbanera, et al.  Home/Search
Context
Related
| journals.teilar.gr/amct/p...1_Dezani.ps Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: journals.teilar.gr/amct/pub/20... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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