656 search results - page 72 / 132 » Parameterized Types for Java |
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
OOPSLA
2005
Springer
14 years 1 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,...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes a process for the semi-automatic conversion of numerical and scientific routines written in the C programming language into Triana-based computational servic...
CGO
2003
IEEE
13 years 11 months ago
2003
IEEE
In this paper, we describe a novel execution environment for Java programs that substantially improves execution performance by incorporating both on-line and off-line profile inf...
DOCENG
2008
ACM
13 years 9 months ago
2008
ACM
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...