Alan Donovan Adam Kie zun Matthew S. Tschantz Michael D. Ernst MIT Computer...  Home/Search
Context Related
| mit.edu/~mernst/pu...ricsoopsla2004.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: mit.edu/pubs/MichaelDErnst (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Java 1.5 will include a type system (called JSR-14) that supports parametric polymorphism, or generic classes. This will bring many benefits to Java programmers, not least because current Java practice makes heavy use of logically-generic classes, including container classes. (Update)
Cited by: More
Precise Identification of Composition Relationships for UML.. - Milanova (2005) (Correct)
Converting Java Classes to Use Generics - von Dincklage, Diwan (2004) (Correct)
Converting Java Programs to Use Generic Libraries - Alan Donovan Adam (2004) (Correct)
Active bibliography (related documents): More All
1.0: Inference of generic types in Java - Donovan, Ernst (2003) (Correct)
0.5: Typed Parametric Polymorphism for Aspects - Jagadeesan, Jeffrey, Riely (2006) (Correct)
0.5: Repairing Type Errors in Functional Programs - McAdam (2001) (Correct)
Similar documents based on text: More All
0.3: The Groupthink specification exercise - Ernst, Chapin (2005) (Correct)
0.2: Reducing Wasted Development Time Via Continuous Testing - David Saff Michael (2003) (Correct)
0.2: Continuous Testing in Eclipse - Saff, Ernst (2005) (Correct)
Related documents from co-citation: More All
2: Converting Java classes to use generics - von Dincklage, Diwan - 2004
2: The Java Language Specification - Gosling, Joy et al. - 1997
2: Refactoring techniques for migrating applications to generic Java container clas.. (context) - Tip, Fuhrer et al. - 2004
BibTeX entry: (Update)
A. Donovan. Converting Java programs to use generic libraries. Master's thesis, MIT Dept. of EECS, Sept. 2004. http://citeseer.ist.psu.edu/donovan04converting.html More
@misc{ donovan04converting,
author = "A. Donovan",
title = "Converting Java programs to use generic libraries",
text = "A. Donovan. Converting Java programs to use generic libraries. Master's
thesis, MIT Dept. of EECS, Sept. 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/donovan04converting.html" }
Citations (may not include all citations):1002 Programming Language (context) - Stroustrup - 2000
862 The Java Language Specification - Gosling, Joy et al. - 2000
809 A theory of type polymorphism in programming (context) - Milner - 1978
388 On understanding types (context) - Cardelli, Wegner - 1985
190 Optimization of object-oriented programs using static class .. - Dean, Grove et al. - 1995
187 Type inclusion constraints and type inference - Aiken, Wimmers - 1993
178 Making the future safe for the past: Adding genericity to th.. - Bracha, Odersky et al. - 1998
151 Object-oriented type inference - Palsberg, Schwartzbach - 1991
149 Precise concrete type inference for object-oriented language.. - Plevyak, Chien - 1994
145 Customization: Optimizing compiler technology for Self (context) - Chambers, Ungar - 1989
107 Object-Oriented Type Systems (context) - Palsberg, Schwartzbach - 1994
92 A behavioral notion of subtyping - Liskov, Wing - 1994
87 Parameterized types for Java - Myers, Bank et al. - 1997
78 Soft typing - Cartwright, Fagan - 1991
72 Sound polymorphic type inference for objects - Eifrig, Smith et al. - 1995
71 Fast static analysis of C++ virtual function calls (context) - Bacon, Sweeney - 1996
62 Scalable propagation-based call graph construction algorithm.. - Tip, Palsberg - 2000
50 The Design and Evolution of C (context) - Stroustrup - 1994
49 The cartesian product algorithm: Simple and precise type inf.. - Agesen - 1996
45 a dynamically-typed object-oriented language based on protot.. (context) - Chambers, Ungar et al. - 1989
30 Standard Template Library - Plauger, Stepanov et al. - 2000
30 A framework for call graph construction algorithms (context) - Grove, Chambers - 2001
30 NET common language runtime (context) - Yu, Kennedy et al. - 2004
20 Static type inference for parametric classes - Ohori, Buneman - 1989
19 Lackwit: A program understanding tool based on type inferenc.. (context) - O'Callahan, Jackson - 1997
16 Generalized Aliasing as a Basis for Program Analysis Tools - O'Callahan - 2001
12 Refactoring for generalization using type constraints (context) - Tip, Kiezun et al. - 2003
7 Soot - a Java bytecode optimization framework (context) - Vallee-Rai, Hendren et al. - 1999
7 Modular type-based reverse engineering of parameterized type.. (context) - Duggan - 1999
7 cient inference of static types for Java bytecode (context) - Gagnon, Hendren et al. - 2000
6 Precise constraint-based type inference for Java - Wang, Smith - 2001
4 On variance-based subtyping for parametric types - Igarashi, Viroli - 2002
4 ectiveness of pointer alias analyses (context) - Hind, Pioli - 2001
3 Program generalization for software reuse: From C to C (context) - Si, Reps - 1996
3 A recipe for raw types - Igarashi, Pierce et al. - 2001
3 Converting Java programs to use generic libraries - Donovan - 2004
3 Adding generics to the Java programming language: Participan.. (context) - Bracha, Cohen et al. - 2001
2 Converting Java classes to use generics - von Dincklage, Diwan - 2004
2 Adding wildcards to the Java programming language (context) - Torgersen, Hansen et al. - 2004
2 Refactoring techniques for migrating applications to generic.. (context) - Tip, Fuhrer et al. - 2004
2 Type inference for MLj - McAdam, Kennedy et al. - 2001
2 Prototype for JSR014: Adding generics to the Java programmin.. (context) - Sun - 2001
1 Inference of generic types in Java - Donovan, Ernst - 2003
1 pizzagj Document#gj specification (context) - Stoutamire, specification et al. - 1998
1 Compatable genericity with run-time types for the Java progr.. (context) - Cartwright, Jr - 1998
1 Customization of Java library classes using type constraints.. - De Sutter, Tip et al. - 2004
http://www.eclipse.org/
http://www.omnicore.com/codeguide.htm
http://www.intellij.com/idea/
Documents on the same site (http://pag.csail.mit.edu/pubs/Michael-D-Ernst.html): More
Quickly Detecting Relevant Program Invariants - Ernst, Czeisler, Griswold.. (1999) (Correct)
Dynamically Discovering Likely Program Invariants - Ernst (2000) (Correct)
Static verification of dynamically detected program.. - Nimmer, Ernst (2001) (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