Safe instantiation in generic Java

Authors:
Eric E. Allen;Robert Cartwright
Affiliations:
Sun Microsystems, Inc.;Rice University, Houston, TX
Venue:
Science of Computer Programming - Special issue: Principles and practices of programming in Java (PPPJ 2004)
Year:
2006

Citing 10
Cited 1

Pizza into Java: translating theory into practice

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Adding type parameterization to the Java language

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Why are we using Java again?

Communications of the ACM
Making the future safe for the past: adding genericity to the Java programming language

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Compatible genericity with run-time types for the Java programming language

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Design and implementation of generics for the .NET Common language runtime

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
The case for run-time types in generic Java

PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
Efficient Implementation of Run-time Generic Types for Java

Proceedings of the IFIP TC2/WG2.1 Working Conference on Generic Programming
A first-class approach to genericity

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Taming Java for the classroom

Proceedings of the 36th SIGCSE technical symposium on Computer science education

An approach for web service discoverability anti-pattern detection for journal of web engineering

Journal of Web Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces the "Safe Instantiation Principle", a new design criterion for evaluating extensions of Java that support generic types. The paper initially focuses on the GJ and NextGen formulations of Generic Java and the implications of safe instantiation for both approaches. Then it applies the safe instantiation principle to the problem of adding mixins to Java as generic types. Finally, it shows that the hygienic formulation of mixins is the only way to maintain safe instantiation and type soundness in Java with mixins and to prevent the introduction of inidious bugs with no clearly defined point of blame.