1407 search results - page 9 / 282 » The Use of Overloading in Java Programs |
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
ASE
2004
13 years 8 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
JAVA
2000
Springer
14 years 16 hour ago
2000
Springer
Java is an attractive environment for writing portable message passing parallel programs. Considerable work in message passing interface bindings for the C and Fortran languages h...
LISP
2008
13 years 8 months ago
2008
This article constitutes a thorough presentation of an original scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the ...
PEPM
2004
ACM
14 years 1 months ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....