15 search results - page 1 / 3 » Customization of Java Library Classes Using Type Constraints... |
ECOOP
2004
Springer
13 years 10 months ago
2004
Springer
OOPSLA
2005
Springer
13 years 10 months ago
2005
Springer
As object-oriented class libraries evolve, classes are occasionally deprecated in favor of others with roughly the same functionality. In Java’s standard libraries, for example,...
SAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
SAC
2006
ACM
13 years 5 months ago
2006
ACM
The second-class formulation of generics in Java 5.0 discards generic type information during compilation. As a result, Java 5.0 prohibits run-time type-dependent operations, gene...
ECOOP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...