Nicholas Oxhoj, Jens Palsberg, Michael I. Schwartzbach  Home/Search
Context Related
| daimi.aau.dk/pub/palsber...ecoop92.ps.Z purdue.edu/homes/palsbe...ecoop92.ps.gz 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: iamwww.unibe.ch/cgib...oobib?ftp (more) From: purdue.edu/homes/p...publications (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present the implementation of a type inference algorithm for untyped objectoriented programs with inheritance, assignments, and late binding. The algorithm significantly improves our previous one, presented at OOPSLA'91, since it can handle collection classes, such as List, in a useful way. Also, the complexity has been dramatically improved, from exponential time to low polynomial time. The implementation uses the techniques of incremental graph construction and constraint template... (Update)
Cited by: More
Type Analysis and Type-test Elimination in Oberon-2 - Jens Knoop And (Correct)
Appears in New Generation Computing, 15(4), 1997 - Static Analysis Of (1996) (Correct)
Parameterized Object Sensitivity for Points-to Analysis for .. - Milanova, Rountev, Ryder (2002) (Correct)
Active bibliography (related documents): More All
0.9: Object-Oriented Type Inference - Palsberg, Schwartzbach (1991) (Correct)
0.5: Static Typing for Object-Oriented Programming - Palsberg, Schwartzbach (1994) (Correct)
0.5: From Types to Dataflow: Code Analysis for an Object-Oriented.. - Barnard (1993) (Correct)
Similar documents based on text: More All
0.4: Type Inference of SELF: Analysis of Objects with Dynamic and.. - Agesen (1995) (Correct)
0.4: Developments in Object-Oriented Type Systems - Schwartzbach (1994) (Correct)
0.4: Three Discussions on Object-Oriented Typing - Palsberg, Schwartzbach (1992) (Correct)
Related documents from co-citation: More All
15: Object-oriented type inference - Palsberg, Schwartzbach - 1991
14: Precise concrete type inference for objectoriented languages - Plevyak, Chien - 1994
10: Optimization of object-oriented programs using static class hierarchy analysis - DEAN, GROVE et al. - 1995
BibTeX entry: (Update)
N. Oxhoj, J. Palsberg, and M. I. Schwartzbach. Making Type Inference Practical. In Proc. ECOOP'92, pages 329--349. Springer-Verlag (LNCS 615), 1992. http://citeseer.ist.psu.edu/oxhoj92making.html More
@inproceedings{ oxhoj92making,
author = "Nicholas Oxhoj and Jens Palsberg and Michael I. Schwartzbach",
title = "Making Type Inference Practical",
booktitle = "{ECOOP}",
pages = "329-349",
year = "1992",
url = "citeseer.ist.psu.edu/oxhoj92making.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1988 ACM
461 Programming Language (context) - Stroustrup - 1986
388 On understanding types (context) - Cardelli, Wegner - 1985
369 A semantics of multiple inheritance - Cardelli - 1984
257 Smalltalk-80---The Language and its Implementation (context) - Goldberg, Robson - 1983
151 Object-oriented type inference - Palsberg, Schwartzbach - 1991 ACM DBLP
112 A Denotational Semantics of Inheritance - Cook - 1989 ACM
102 Type inference for record concatenation and multiple inherit.. - Wand - 1989
88 Typechecking records and variants in a natural extension of .. (context) - R'emy - 1989 DBLP
82 Objects as closures: Abstract semantics of object-oriented l.. (context) - Reddy - 1988
55 A simple algorithm and proof for type inference (context) - Wand - 1987
49 Type theories and object-oriented programming (context) - Danforth, Tomlinson - 1988 DBLP
40 Inheritance in Smalltalk--80: A denotational definition (context) - Kamin - 1988
36 Optimizing dynamically-typed object-oriented languages with .. - Holzle, Chambers et al. - 1991 ACM DBLP
36 A type system for Smalltalk - Graver, Johnson - 1990 ACM DBLP
33 The BETA programming language (context) - Kristensen, Madsen et al. - 1987 ACM DBLP
30 Inferring types in Smalltalk (context) - Suzuki - 1981 ACM DBLP
29 A type declaration and inference system for Smalltalk (context) - Borning, Ingalls - 1982
19 Wrapper semantics of an object-oriented programming language.. (context) - Hense - 1991 ACM DBLP
19 Type-Checking and Type-Inference for Object-Oriented Program.. (context) - Graver - 1989
11 Static typing for object-oriented programming - Palsberg, Schwartzbach - 1994 ACM DBLP
11 Type inference with inequalities (context) - Schwartzbach - 1991 ACM DBLP
8 What is type-safe code reuse - Palsberg, Schwartzbach - 1991
7 Simula 67 common base language (context) - Dahl, Myhrhaug et al. - 1968
4 Polymorphic type inference for a simple object oriented prog.. (context) - Hense - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://iamwww.unibe.ch/cgi-bin/oobib?ftp): More
Object-Oriented Type Inference - Palsberg, Schwartzbach (1991) (Correct)
A Denotational Semantics of Inheritance and its Correctness - Cook, Palsberg (1994) (Correct)
pi-Calculus Semantics for the Concurrent Configuration.. - Eisenbach, Paterson (1993) (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