Ole Agesen  Home/Search
Context Related
| cs.ubc.ca/local/reading/...spe974oa.pdf 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: cs.ubc.ca/local/reading/...spetoc (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a type inference algorithm for the SELF language (Update)
Cited by: More
Towards Type Inference for JavaScript - Christopher Anderson Paola (Correct)
Effective Interprocedural Optimization of Object-Oriented Languages - Grove (1998) (Correct)
MASPEGHI 2004 - Mechanisms for Specialization.. - Lahire.. (2004) (Correct)
Similar documents (at the sentence level):
73.1%: Analysis of Objects with Dynamic and Multiple Inheritance - Agesen, Palsberg.. (1993) (Correct)
63.1%: Type Inference of SELF: Analysis of Objects with.. - Agesen, Palsberg.. (1993) (Correct)
Active bibliography (related documents): More All
0.2: Developments in Object-Oriented Type Systems - Schwartzbach (1994) (Correct)
0.2: Making Type Inference Practical - Oxhoj, Palsberg, Schwartzbach (1992) (Correct)
0.1: Object-Oriented Type Inference - Palsberg, Schwartzbach (1991) (Correct)
Similar documents based on text: More All
0.3: Three Discussions on Object-Oriented Typing - Palsberg, Schwartzbach (1992) (Correct)
0.3: Safety Analysis versus Type Inference - Palsberg, Schwartzbach (1995) (Correct)
0.3: Static Typing for Object-Oriented Programming - Palsberg, Schwartzbach (1994) (Correct)
Related documents from co-citation: More All
27: Object-oriented type inference - Palsberg, Schwartzbach - 1991
24: Making type inference practical (context) - Oxhoj, Palsberg et al. - 1992
23: Precise concrete type inference for objectoriented languages - Plevyak, Chien - 1994
BibTeX entry: (Update)
Ole Agesen, Jens Palsberg, and Michael I. Schwartzbach. Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. In ECOOP '93 Conference Proceedings, p. 247-267. Kaiserslautern, Germany, July 1993. http://citeseer.ist.psu.edu/article/agesen95type.html More
@article{ agesen93type,
author = "Ole Agesen and Jens Palsberg and Michael I. Schwartzbach",
title = "Type Inference of {SELF}: Analysis of Objects with Dynamic and Multiple Inheritance",
journal = "Lecture Notes in Computer Science",
volume = "707",
pages = "247--??",
year = "1993",
url = "citeseer.ist.psu.edu/article/agesen95type.html" }
Citations (may not include all citations):306 SELF: The power of simplicity (context) - Ungar, Smith - 1991
257 Smalltalk-80 -- The Language and its Implementation (context) - Goldberg, Robson - 1983
151 Object-oriented type inference - Palsberg, Schwartzbach - 1991
107 Object-Oriented Type Systems (context) - Palsberg, Schwartzbach - 1994
95 Making pure object-oriented languages practical - Chambers, Ungar - 1991
72 Using prototypical objects to implement shared behavior in o.. (context) - Lieberman - 1986
55 A simple algorithm and proof for type inference (context) - Wand - 1987
48 Type inference of Self: Analysis of objects with dynamic and.. - Agesen, Palsberg et al. - 1993
46 Classes versus prototypes in object-oriented languages (context) - Borning - 1986
37 Making type inference practical (context) - Oxhj, Palsberg et al. - 1992
36 A type system for Smalltalk - Graver, Johnson - 1990
33 Safety analysis versus type inference for partial types - Palsberg, Schwartzbach - 1992
29 Compile-time analysis of object-oriented programs (context) - Vitek, Horspool et al. - 1992
20 Parents are shared parts of objects: Inheritance and encapsu.. - Chambers, Ungar et al. - 1991
19 Type-checking and type-inference for object-oriented program.. (context) - Graver - 1989
11 Type inference with inequalities (context) - Schwartzbach - 1991
1 The SELF programmer (context) - Agesen, Bak et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/spetoc.htm): More
Linkage Analysis of Processes - Yaung, Raz (1992) (Correct)
A Scheme for Little Languages in Interactive Graphics - Beckman (1991) (Correct)
A Dataflow Approach to Event-based Debugging - Olsson, Crawford, Ho (1991) (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