ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


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...