Sciweavers

1407 search results - page 9 / 282
» The Use of Overloading in Java Programs
Sort
View
70
Voted
ECOOP
2004
Springer
15 years 2 months ago
Customization of Java Library Classes Using Type Constraints and Profile Information
Bjorn De Sutter, Frank Tip, Julian Dolby
99
Voted
ASE
2004
148views more  ASE 2004»
14 years 9 months ago
TestEra: Specification-Based Testing of Java Programs Using SAT
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...
Sarfraz Khurshid, Darko Marinov
86
Voted
JAVA
2000
Springer
15 years 1 months ago
Development routes for message passing parallelism in Java
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...
J. A. Mathew, Heath A. James, Kenneth A. Hawick
LISP
2008
70views more  LISP 2008»
14 years 9 months ago
Program transformations for light-weight CPU accounting and control in the Java virtual machine
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 ...
Jarle Hulaas, Walter Binder
PEPM
2004
ACM
15 years 2 months ago
Declarative specialization for object-oriented-program specialization
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....
Helle Markmann Andersen, Ulrik Pagh Schultz