Sciweavers

41 search results - page 5 / 9
» Adding Type Parameterization to the Java Language
Sort
View
OOPSLA
1989
Springer
13 years 11 months ago
Static Type Inference for Parametric Classes
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
Atsushi Ohori, Peter Buneman
AFRIGRAPH
2001
ACM
13 years 11 months ago
Experiences in porting a virtual reality system to Java
Practical experience in porting a large virtual reality system from C/C++ to Java indicates that porting this type of real-time application is both feasible, and has several merit...
Shaun Bangay
ECOOP
2008
Springer
13 years 9 months ago
Inference of Reference Immutability
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
Jaime Quinonez, Matthew S. Tschantz, Michael D. Er...
ECOOP
2010
Springer
13 years 11 months ago
The Use of Overloading in Java Programs
Method overloading is a controversial language feature, especially in the context of Object Oriented languages, where its interaction with overriding may lead to confusing semantic...
Joseph Gil, Keren Lenz
OOPSLA
2004
Springer
14 years 29 days ago
Converting Java classes to use generics
Generics offer significant software engineering benefits since they provide code reuse without compromising type safety. Thus generics will be added to the Java language in the...
Daniel von Dincklage, Amer Diwan