Parameterized types for Java

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Parameterized types for Java

Full text

Pdf (1.25 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

Paris, France

Pages: 132 - 145

Year of Publication: 1997

ISBN:0-89791-853-3

Authors

Joseph A. Bank	Laboratory for Computer Science, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA
Andrew C. Myers	Laboratory for Computer Science, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA
Barbara Liskov	Laboratory for Computer Science, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA

Sponsors

L'Ecole des Mines de Paris : L'Ecole des Mines de Paris
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
Ctr Natl de la Recherche Sci :
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 9, Downloads (12 Months): 32, Citation Count: 53

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/263699.263714 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	BLM96	J. L Bank , A. C. B. Myers, Parameterized Types and Java, Massachusetts Institute of Technology, Cambridge, MA, 1996
	Car88	Luca Cardelli, A semantics of multiple inheritance, Information and Computation, v.76 n.2-3, p.138-164, February/March 1988 [doi>10.1016/0890-5401(88)90007-7]
	CCH+89	Peter Canning , William Cook , Walter Hill , Walter Olthoff , John C. Mitchell, F-bounded polymorphism for object-oriented programming, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.273-280, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99392]
	DGLM95	Mark Day , Robert Gruber , Barbara Liskov , Andrew C. Myers, Subtypes vs. where clauses: constraining parametric polymorphism, Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, p.156-168, October 15-19, 1995, Austin, Texas, United States
	KLMM94	Dinesh Katiyar , David Luckham , John Mitchell, Polymorphism and subtyping in interface, ACM SIGPLAN Notices, v.29 n.8, p.22-34, Aug. 1994
	L+81	B. Liskov etal. CLU reference manual. In Goos and Hartmahis, editors, Lecture Notes in Computer Science, volume 114. Springer-Vedag, Berlin, 1981.
	LCD+94	B. Liskov, D. Curtis, M. Day, S. Ghemawat, R. Gruber, P. Johnson, and A. C. Myers. Theta Reference Manual. Programming Methodology Group Memo 88, MIT Laboratory for Computer Science, Cambridge, MA, February 1994. Available at http:tlwww.pmg.lcs.mit.edulpapersltbetarefl.
	LY96	Tim Lindholm , Frank Yellin, Java Virtual Machine Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
	Mey88	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	MMPN93	Ole Lehrmann Madsen , Birger Mø-Pedersen , Kristen Nygaard, Object-oriented programming in the BETA programming language, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1993
	MTH90	Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
	Mye95	Andrew C. Myers, Bidirectional object layout for separate compilation, Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, p.124-139, October 15-19, 1995, Austin, Texas, United States
	Nel91	Greg Nelson, Systems programming with Modula-3, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
	OL92	Stephen M. Omohundro and Chu-Cheow Lim. The Sather language and libraries. Technical Report TR-92-017, International Computer Science Institute, Berkeley, Match 1992.
	Omo93	Stephen M. Omohundro, The Sather programming language, Dr. Dobb's Journal, v.18 n.11, p.42-48, Oct. 1993
	S+86	Craig Schaffert , Topher Cooper , Bruce Bullis , Mike Kilian , Carrie Wilpolt, An introduction to Trellis/Owl, Conference proceedings on Object-oriented programming systems, languages and applications, p.9-16, September 29-October 02, 1986, Portland, Oregon, United States
	Sto87	Bjarne Stroustrup, The C++ programming language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	Str87	B. Stroustrup. Multiple inheritance for C-t-+. in Proceedings of the Spring "87 European Unix Systems User's Group Conference, Helsinki, Finland, May 1987.
	Sun95a	Sun Microsystems. Java Language Specification, version 1.0 beta edition, October 1995. Available at http ://tip.javaso ft.com/d oes/j avaspec, ps. zip.
	Sun95b	Sun Microsystems. The Java Virtual Machine Specification, release 1.0 beta edition, August 1995. Available at http://ftp.javasoft.com/does/vmspec.ps.zip.
	Yel95	Frank Yellin. Low-level security in Java, December 1995. Presented at the Fourth International World Wide Web Conference, Dec. 1995.

CITED BY 53

	Richard Cardone , Calvin Lin, Comparing frameworks and layered refinement, Proceedings of the 23rd International Conference on Software Engineering, p.285-294, May 12-19, 2001, Toronto, Ontario, Canada
	Mark Evered , Gisela Menger, Using and teaching information hiding in single-semester software engineering projects, Proceedings of the Australasian conference on Computing education, p.103-108, December 2000, Melbourne, Australia
	Wayne L. Bethea, Adding parametric polymorphism to the common object request broker architecture (CORBA) (poster session), Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum), p.119-120, January 2000, Minneapolis, Minnesota, United States
	Andrew Kennedy , Don Syme, Design and implementation of generics for the .NET Common language runtime, ACM SIGPLAN Notices, v.36 n.5, p.1-12, May 2001
	Hossein Saiedian , Steve Hill, A comparative evaluation of generic programming in Java and C++, Software—Practice & Experience, v.33 n.2, p.121-142, 1 February 2003
	Jan Vitek , Boris Bokowski, Confined types, ACM SIGPLAN Notices, v.34 n.10, p.82-96, Oct. 1999
	Tobias Nipkow , David von Oheimb, Java_light is type-safe—definitely, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.161-170, January 19-21, 1998, San Diego, California, United States
	Ole Agesen , Stephen N. Freund , John C. Mitchell, Adding type parameterization to the Java language, ACM SIGPLAN Notices, v.32 n.10, p.49-65, Oct. 1997
	Silke Eckstein , Peter Ahlbrecht , Karl Neumann, Techniques and language constructs for developing generic informations systems: a case study, ACM SIGSOFT Software Engineering Notes, v.26 n.3, p.145-154, May 2001
	Vassily Litvinov, Contraint-based polymorphism in Cecil: towards a practical and static type system, ACM SIGPLAN Notices, v.33 n.10, p.388-411, Oct. 1998
	Robert Cartwright , Guy L. Steele, Jr., Compatible genericity with run-time types for the Java programming language, ACM SIGPLAN Notices, v.33 n.10, p.201-215, Oct. 1998
	Atsushi Igarashi , Benjamin C. Pierce , Philip Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.3, p.396-450, May 2001
	Mirko Viroli , Antonio Natali, Parametric polymorphism in Java: an approach to translation based on reflective features, ACM SIGPLAN Notices, v.35 n.10, p.146-165, Oct. 2000
	Mirko Viroli, Parametric polymorphism in Java: an efficient implementation for parametric methods, Proceedings of the 2001 ACM symposium on Applied computing, p.610-619, March 2001, Las Vegas, Nevada, United States
	Eric Allen , Jonathan Bannet , Robert Cartwright, A first-class approach to genericity, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Atshushi Igarashi , Benjamin Pierce , Philip Wadler, Featherwieght Java: a minimal core calculus for Java and GJ, ACM SIGPLAN Notices, v.34 n.10, p.132-146, Oct. 1999
	Davide Ancona , Giovanni Lagorio , Elena Zucca, Jam---designing a Java extension with mixins, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.5, p.641-712, September 2003
	Chandrasekhar Boyapati , Robert Lee , Martin Rinard, Ownership types for safe programming: preventing data races and deadlocks, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Chandrasekhar Boyapati , Barbara Liskov , Liuba Shrira, Ownership types for object encapsulation, ACM SIGPLAN Notices, v.38 n.1, p.213-223, January 2003
	Martin Abadi , Cormac Flanagan , Stephen N. Freund, Types for safe locking: Static race detection for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.2, p.207-255, March 2006
	Chandrasekhar Boyapati , Alexandru Salcianu , William Beebee, Jr. , Martin Rinard, Ownership types for safe region-based memory management in real-time Java, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Jennifer Hamilton, Language integration in the common language runtime, ACM SIGPLAN Notices, v.38 n.2, February 2003
	Chandrasekhar Boyapati , Barbara Liskov , Liuba Shrira , Chuang-Hue Moh , Steven Richman, Lazy modular upgrades in persistent object stores, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Mads Torgersen , Christian Plesner Hansen , Erik Ernst , Peter von der Ahé , Gilad Bracha , Neal Gafter, Adding wildcards to the Java programming language, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	John Boyland , Giuseppe Castagna, Parasitic methods: an implementation of multi-methods for Java, ACM SIGPLAN Notices, v.32 n.10, p.66-76, Oct. 1997
	Chandrasekhar Boyapati , Martin Rinard, A parameterized type system for race-free Java programs, ACM SIGPLAN Notices, v.36 n.11, p.56-69, 11/01/2001
	Andrew C. Myers, JFlow: practical mostly-static information flow control, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.228-241, January 20-22, 1999, San Antonio, Texas, United States
	Gilad Bracha , Martin Odersky , David Stoutamire , Philip Wadler, Making the future safe for the past: adding genericity to the Java programming language, ACM SIGPLAN Notices, v.33 n.10, p.183-200, Oct. 1998
	Stefan Hanenberg , Rainer Unland, Parametric introductions, Proceedings of the 2nd international conference on Aspect-oriented software development, p.80-89, March 17-21, 2003, Boston, Massachusetts
	Ronald Garcia , Jaakko Jarvi , Andrew Lumsdaine , Jeremy G. Siek , Jeremiah Willcock, A comparative study of language support for generic programming, ACM SIGPLAN Notices, v.38 n.11, November 2003
	David Tarditi , Greg Morrisett , Perry Cheng , Chris Stone , Robert Harper , Peter Lee, TIL: a type-directed, optimizing compiler for ML, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Yuri Leontiev , M. Tamer Özsu , Duane Szafron, On type systems for object-oriented database programming languages, ACM Computing Surveys (CSUR), v.34 n.4, p.409-449, December 2002
	Brian Cabana , Suad Alagić , Jeff Faulkner, Parametric polymorphism for Java: is there any hope in sight?, ACM SIGPLAN Notices, v.39 n.12, December 2004
	Dachuan Yu , Andrew Kennedy , Don Syme, Formalization of generics for the .NET common language runtime, ACM SIGPLAN Notices, v.39 n.1, p.39-51, January 2004
	Jed Liu , Aaron Kimball , Andrew C. Myers, Interruptible iterators, ACM SIGPLAN Notices, v.41 n.1, p.283-294, January 2006
	Alan Donovan , Adam Kiežun , Matthew S. Tschantz , Michael D. Ernst, Converting java programs to use generic libraries, ACM SIGPLAN Notices, v.39 n.10, October 2004
	G. Lagorio , E. Zucca, Introducing safe unknown types in Java-like languages, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
	Yannis Smaragdakis , Don Batory, Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.2, p.215-255, April 2002
	Pieter H. Hartel , Luc Moreau, Formalizing the safety of Java, the Java virtual machine, and Java card, ACM Computing Surveys (CSUR), v.33 n.4, p.517-558, December 2001
	Geoff A. Cohen , Jeffrey S. Chase , David L. Kaminsky, Automatic program transformation with JOIE, Proceedings of the Annual Technical Conference on USENIX Annual Technical Conference, 1998, p.14-14, June 15-19, 1998, New Orleans, Louisiana
	Atsushi Igarashi , Mirko Viroli, Variant parametric types: A flexible subtyping scheme for generics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.5, p.795-847, September 2006
	Shan Shan Huang , David Zook , Yannis Smaragdakis, cJ: enhancing java with safe type conditions, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada
	James Sasitorn , Robert Cartwright, Deriving components from genericity, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	Maurizio Cimadamore , Mirko Viroli, Reifying wildcards in Java using the EGO approach, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	Brian Blount , Siddhartha Chatterjee, An evaluation of Java for numerical computing, Scientific Programming, v.7 n.2, p.97-110, April 1999
	Guy L. Steele, Jr., Growing a Language, Higher-Order and Symbolic Computation, v.12 n.3, p.221-236, October 1999
	James Sasitorn , Robert Cartwright, Component nextgen: a sound and expressive component framework for java, ACM SIGPLAN Notices, v.42 n.10, October 2007
	Suad Alagić , Mark Royer, Genericity in Java: persistent and database systems implications, The VLDB Journal — The International Journal on Very Large Data Bases, v.17 n.4, p.847-878, July 2008
	Atanas Radenski , Jeff Furlong , Vladimir Zanev, The Java 5 generics compromise orthogonality to keep compatibility, Journal of Systems and Software, v.81 n.11, p.2069-2078, November, 2008
	Atanas Radenski , Jeff Furlong , Vladimir Zanev, The Java 5 generics compromise orthogonality to keep compatibility, Journal of Systems and Software, v.81 n.11, p.2069-2078, November, 2008
	Maurizio Cimadamore , Mirko Viroli, On the reification of Java wildcards, Science of Computer Programming, v.73 n.2-3, p.59-75, October, 2008
	Aslan Askarov , Andrei Sabelfeld, Catch me if you can: permissive yet secure error handling, Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, June 15-21, 2009, Dublin, Ireland
	Iulian Dragos , Martin Odersky, Compiling generics through user-directed type specialization, Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, p.42-47, July 06-06, 2009, Genova, Italy