Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 25 Issue 4, July 2003

Rank 2 intersection types for local definitions and conditional expressions
Ferruccio Damiani
Pages: 401-451
DOI: 10.1145/778559.778560
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
Pages: 452-499
DOI: 10.1145/778559.778561
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
Pages: 500-548
DOI: 10.1145/778559.778562
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...