Sciweavers

Share
36 search results - page 1 / 8
» Towards Automatic Specialization of Java Programs
Sort
View
ECOOP
1999
Springer
9 years 11 months ago
Towards Automatic Specialization of Java Programs
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...
Ulrik Pagh Schultz, Julia L. Lawall, Charles Conse...
PEPM
2004
ACM
10 years 14 days 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
ARITH
2015
IEEE
4 years 2 months ago
Semi-Automatic Floating-Point Implementation of Special Functions
Abstract—This work introduces an approach to the computerassisted implementation of mathematical functions geared toward special functions such as those occurring in mathematical...
Christoph Quirin Lauter, Marc Mezzarobba
COMPSAC
1999
IEEE
9 years 11 months ago
A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
Xiaoping Jia, Sotiris Skevoulis
CCS
2009
ACM
10 years 1 months ago
Privacy-preserving genomic computation through program specialization
In this paper, we present a new approach to performing important classes of genomic computations (e.g., search for homologous genes) that makes a significant step towards privacy...
Rui Wang, XiaoFeng Wang, Zhou Li, Haixu Tang, Mich...
books