Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 30 Issue 3, May 2008

The pitfalls of verifying floating-point computations
David Monniaux
Article No.: 12
DOI: 10.1145/1353445.1353446

Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floating-point operators has become a priority. However, correctly defining the semantics of common...

On the complexity of partially-flow-sensitive alias analysis
N. Rinetzky, G. Ramalingam, M. Sagiv, E. Yahav
Article No.: 13
DOI: 10.1145/1353445.1353447

We introduce the notion of a partially-flow-sensitive analysis based on the number of read and write operations that are guaranteed to be analyzed in a sequential manner. We study the complexity of partially-flow-sensitive alias analysis...

AspectML: A polymorphic aspect-oriented functional programming language
Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
Article No.: 14
DOI: 10.1145/1353445.1353448

This article defines AspectML, a typed functional, aspect-oriented programming language. The main contribution of AspectML is the seamless integration of polymorphism, run-time type analysis and aspect-oriented programming language features. In...

Witnessing side effects
Tachio Terauchi, Alex Aiken
Article No.: 15
DOI: 10.1145/1353445.1353449

We present a new approach to the old problem of adding global mutable state to purely functional languages. Our idea is to extend the language with “witnesses,” which is based on an arguably more pragmatic motivation than past...

Size-change termination with difference constraints
Amir M. Ben-Amram
Article No.: 16
DOI: 10.1145/1353445.1353450

This article considers an algorithmic problem related to the termination analysis of programs. More specifically, we are given bounds on differences in sizes of data values before and after every transition in the program's control-flow graph. Our...

PEAK—a fast and effective performance tuning system via compiler optimization orchestration
Zhelong Pan, Rudolf Eigenmann
Article No.: 17
DOI: 10.1145/1353445.1353451

Compile-time optimizations generally improve program performance. Nevertheless, degradations caused by individual compiler optimization techniques are to be expected. Feedback-directed optimization orchestration systems generate optimized...