enter search term and/or author name
Rank 2 intersection types for local definitions and conditional expressions
We propose a rank 2 intersection type system with new typing rules for local definitions (let-expressions and letrec-expressions) and conditional expressions (if-expressions and match-expressions). This is a further step towards the use of...
Automatic program specialization for Java
Ulrik P. Schultz, Julia L. Lawall, Charles Consel
The object-oriented style of programming facilitates program adaptation and enhances program genericness, but at the expense of efficiency. We demonstrate experimentally that state-of-the-art Java compilers fail to compensate for the use of...
Continuous program optimization: A case study
Thomas Kistler, Michael Franz
Much of the software in everyday operation is not making optimal use of the hardware on which it actually runs. Among the reasons for this discrepancy are hardware/software mismatches, modularization overheads introduced by software engineering...