Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 24 Issue 6, November 2002

On the usefulness of type and liveness accuracy for garbage collection and leak detection
Martin Hirzel, Amer Diwan, Johannes Henkel
Pages: 593-624
DOI: 10.1145/586088.586089
The effectiveness of garbage collectors and leak detectors in identifying dead objects depends on the accuracy of their reachability traversal. Accuracy has two orthogonal dimensions: (i) whether the reachability traversal can distinguish...

Practical extraction techniques for Java
Frank Tip, Peter F. Sweeney, Chris Laffra, Aldo Eisma, David Streeter
Pages: 625-666
DOI: 10.1145/586088.586090
Reducing application size is important for software that is distributed via the internet, in order to keep download times manageable, and in the domain of embedded systems, where applications are often stored in (Read-Only or Flash) memory. This...

Efficient and effective branch reordering using profile data
Minghui Yang, Gang-Ryung Uh, David B. Whalley
Pages: 667-697
DOI: 10.1145/586088.586091
The conditional branch has long been considered an expensive operation. The relative cost of conditional branches has increased as recently designed machines are now relying on deeper pipelines and higher multiple issue. Reducing the number of...

Repairing syntax errors in LR parsers
Rafael Corchuelo, José A. Pérez, , Antonio Ruiz, Miguel Toro
Pages: 698-710
DOI: 10.1145/586088.586092
This article reports on an error-repair algorithm for LR parsers. It locally inserts, deletes or shifts symbols at the positions where errors are detected, thus modifying the right context in order to resume parsing on a valid piece of input. This...

Type-Safe linking with recursive DLLs and shared libraries
Dominic Duggan
Pages: 711-804
DOI: 10.1145/586088.586093
Component-based programming is an increasingly prevalent theme in software development, motivating the need for expressive and safe module interconnection languages. Dynamic linking is an important requirement for module interconnection languages, as...