656 search results - page 1 / 132 » Parameterized Types for Java |
POPL
1997
ACM
13 years 8 months ago
1997
ACM
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 pape...
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
OOPSLA
1997
Springer
13 years 8 months ago
1997
Springer
JOT
2008
13 years 4 months ago
2008
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Type safety and expressiveness of many existing Java libraries and their client applications would improve, if the libraries were upgraded to define generic classes. Efficient and...