Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 18 Issue 4, July 1996

Reconciling responsiveness with performance in pure object-oriented languages
Urs Hölzle, David Ungar
Pages: 355-400
DOI: 10.1145/233561.233562
Dynamically dispatched calls often limit the performance of object-oriented programs, since opject-oriented programming encourages factoring code into small, reusable units, thereby increasing the frequency of these expensive operations....

On subtyping and matching
Martín Abadi, Luca Cardelli
Pages: 401-423
DOI: 10.1145/233561.233563
A relation between recursive object types, called matching, has been proposed as a generalization of subtyping. Unlike subtyping, matching does not support subsumption, but it does support inheritance of binary methods. We argue...

Improving data locality with loop transformations
Kathryn S. McKinley, Steve Carr, Chau-Wen Tseng
Pages: 424-453
DOI: 10.1145/233561.233564
In the past decade, processor speed has become significantly faster than memory speed. Small, fast cache memories are designed to overcome this discrepancy, but they are only effective when programs exhibit data locality. In the...

Compositional parallel programming languages
Ian Foster
Pages: 454-476
DOI: 10.1145/233561.233565
In task-parallel programs, diversee activities can take place concurrently, and communication and synchronization patterns are complex and not easily predictable. Previous work has identified compositionality as an important...

Symbolic analysis for parallelizing compilers
Mohammad R. Haghighat, Constantine D. Polychronopoulos
Pages: 477-518
DOI: 10.1145/233561.233568
The notion of dependence captures that most important properties of a program for efficient execution on parallel computers. The dependence structure of a program defines that necessary constraints of the order of execution of the program...