See this document in CiteSeerX!

Parameterized Types for Java (1997)  (Make Corrections)  (87 citations)
Andrew C. Myers, Joseph A. Bank, Barbara Liskov
Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages



  Home/Search   Context   Related

Links:   ACM   DBLP

 
View or download:
mit.edu/~djw/libra...myerspopl97.ps.gz
mit.edu/pub/thor/popl97.ps.gz
mit.edu/papers/popl97/popl97.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  mit.edu/~djw/library/ (more)
From:  elj.com/sooap/
Homepages:  A.Myers  

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

Abstract: Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This paper extends Java in one area where more power is needed: support for parametric polymorphism, which allows the definition and implementation of generic abstractions. We discuss both the rationale for our design decisions and the impact of the extension on other parts of Java, including arrays and the class library. We... (Update)

Cited by:   More
A Comparative Study of Language Support for Generic.. - Garcia, Järvi.. (2003)   (Correct)
Retrospective: - Til Type-Directed Optimizing   (Correct)
Introducing safe unknown types in Java-like languages - Lagorio Via Dodecaneso (2006)   (Correct)

Similar documents (at the sentence level):
43.2%:   Parameterized Types and Java - Bank, Liskov, Myers (1997)   (Correct)

Active bibliography (related documents):   More   All
0.5:   A Fault-Tolerant Network Kernel For Linda - Xu (1988)   (Correct)
0.3:   Code Importing Techniques for Fast, Safe Client/Server Access - Bank (1996)   (Correct)
0.3:   Subtypes vs. Where Clauses: Constraining Parametric.. - Day, Gruber, Liskov, Myers (1995)   (Correct)

Similar documents based on text:   More   All
0.2:   Parameterized Types for Java - Myers, Bank, Liskov (1997)   (Correct)
0.1:   Complete, Safe Information Flow with Decentralized Labels - Myers, Liskov (1998)   (Correct)
0.1:   Protecting Privacy using the Decentralized Label Model - Myers, Liskov (2000)   (Correct)

Related documents from co-citation:   More   All
54:   Making the future safe for the past: Adding Genericity to the Java Programming L.. - Bracha, Odersky et al. - 1998
43:   Pizza into Java: Translating Theory into Practice - Odersky, Wadler - 1997
41:   Adding Type Parameterization to the Java Language - Agesen, Freund et al. - 1997

BibTeX entry:   (Update)

Myers, A.C., Bank, J.A., and Liskov, B., "Parameterized Types for Java", Proc. 1997 ACM Symp. on Principles of Prog. Langs., pp. 132--145, Jan. 1997. http://citeseer.ist.psu.edu/article/myers97parameterized.html   More

@inproceedings{ myers97parameterized,
    author = "Andrew C. Myers and Joseph A. Bank and Barbara Liskov",
    title = "Parameterized Types for {Java}",
    booktitle = "Conference Record of {POPL} '97: The 24th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages",
    address = "New York, NY",
    pages = "132--145",
    year = "1997",
    url = "citeseer.ist.psu.edu/article/myers97parameterized.html" }
Citations (may not include all citations):
1274   Object-oriented Software Construction (context) - Meyer - 1988  ACM
1074   The Definition of Standard ML (context) - Milner, Tofte et al. - 1990  ACM
1002   Programming Language (context) - Stoustrup - 1987
127   Systems Programming with Modula (context) - Nelson - 1991
92   An introduction to Trellis/Owl (context) - Schaffert - 1986  ACM   DBLP
82   Object Oriented Programming in the BETAProgramming Language (context) - Madsen, Moller-Pedersen et al. - 1993
79   CLU reference manual (context) - Liskov - 1981  ACM
77   Java Language Specification (context) - Microsystems - 1995
71   bounded polymorphism for object-oriented programming (context) - Canning, Cook et al. - 1989
66   International Computer Science Institute (context) - Omohundro, Lim et al. - 1992
61   where clauses: Constraining parametric polymorphism (context) - Day, Gruber et al. - 1995
45   The Java Virtual Machine Specification (context) - Microsystems - 1995
41   Programming Methodology Group Memo (context) - Liskov, Curtis et al. - 1994
33   The Java Virtual Machine (context) - Lindholm, Yellin - 1996  ACM
28   Multiple inheritance for C - Stroustrup - 1987
21   The Sather programming language (context) - Omohundro - 1993  ACM
8   ACM SIGPLAN Notices (context) - Katiyar, Luckham et al. - 1994
8   Bidirectional object layout for separate compilation - Myers - 1995  ACM   DBLP
3   Presented at the Fourth International World Wide Web Confere.. (context) - Yellin, in et al. - 1995
2   Massachusetts Institute of Technology (context) - Bank, Liskov et al. - 1996



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.tns.lcs.mit.edu/~djw/library/):   More
Packet Loss Correlation in the MBone Multicast Network - Yajnik, Kurose, Towsley (1996)   (Correct)
Pickling State in the Java System - Riggs, Waldo, al. (1996)   (Correct)
Application Performance and Flexibility on Exokernel.. - Kaashoek, Engler.. (1997)   (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