Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 20 Issue 3, May 1998

The design, implementation, and evaluation of Jade
Martin C. Rinard, Monica S. Lam
Pages: 483-545
DOI: 10.1145/291889.291893
Jade is a portable, implicitly parallel language designed for exploiting task-level concurrency.Jade programmers start with a program written in a standard serial, imperative language, then use Jade constructs to declare how parts of the program...

Static caching for incremental computation
Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
Pages: 546-585
DOI: 10.1145/291889.291895
A systematic approach is given for deriving incremental programs that exploit caching. The cache-and-prune method presented in the article consists of three stages: (I) the original program is extended to cache the results of...

An abstract machine for tabled execution of fixed-order stratified logic programs
Konstantinos Sagonas, Terrance Swift
Pages: 586-634
DOI: 10.1145/291889.291897
SLG resolution uses tabling to evaluate nonfloundering normal logic pr ograms according to the well-founded semantics. The SLG-WAM, which forms the engine of the XSB system, can compute in-memory recursive queries an order of magnitute...

Constraint-based array dependence analysis
William Pugh, David Wonnacott
Pages: 635-678
DOI: 10.1145/291889.291900
Traditional array dependence analysis, which detects potential memory aliasing of array references is a key analysis technique for automatic parallelization. Recent studies of benchmark codes indicate that limitations of analysis cause many...

Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
Wan Fokkink, Jasper Kamperman, Pum Walters
Pages: 679-706
DOI: 10.1145/291889.291903
A new compilation technique for left-linear term-rewriting systems is presented, where rewrite rules are transformed into so-called minimal rewrite rules. These minimal rules have such a simple form that they can be viewed as instructions for an...