Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 23 Issue 1, Jan. 2001

Semiring-based constraint logic programming: syntax and semantics
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
Pages: 1-29
DOI: 10.1145/383721.383725
We extend the Constraint Logic Programming (CLP) formalism in order to handle semiring-based constraints. This allows us to perform in the same language both constraint solving and optimization. In fact, constraints based on semirings are able...

Using types to analyze and optimize object-oriented programs
Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss
Pages: 30-72
DOI: 10.1145/383721.383732
Object-oriented programming languages provide many software engineering benefits, but these often come at a performance cost. Object-oriented programs make extensive use of method invocations and pointer dereferences, both of which are...

Scheduling time-constrained instructions on pipelined processors
Allen Leung, Krishna V. Palem, Amir Pnueli
Pages: 73-103
DOI: 10.1145/383721.383733
In this work we investigate the problem of scheduling instructions on idealized microprocessors with multiple pipelines, in the presence of precedence constraints, release-times, deadlines, and latency constraints. A latency of...