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 17 Issue 4, July 1995

Influence of cross-interferences on blocked loops: a case study with matrix-vector multiply
Christine Fricker, Olivier Temam, William Jalby
Pages: 561-575
DOI: 10.1145/210184.210185
State-of-the art data locality optimizing algorithms are targeted for local memories rather than for cache memories. Recent work on cache interferences seems to indicate that these phenomena can severely affect blocked algorithms cache...

A type system equivalent to flow analysis
Jens Palsberg, Patrick O'Keefe
Pages: 576-599
DOI: 10.1145/210184.210187
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accepts exactly the same programs as safety analysis. In this article we...

Extracting task-level parallelism
Milind Girkar, Constantine D. Polychronopoulos
Pages: 600-634
DOI: 10.1145/210184.210189
Automatic detection of task-level parallelism (also referred to as functional, DAG, unstructured, or thread parallelism) at various levels of program granularity is becoming increasingly important for parallelizing and back-end...

Backtracking without trailing in CLP ( RLin )
Pascal Van Hentenryck, Viswanath Ramachandran
Pages: 635-671
DOI: 10.1145/210184.210192
Existing CLP languages support backtracking by generalizing traditional Prolog implementations: modifications to the constraint system are trailed and restored on backtracking. Although simple and efficient, trailing may be very demanding in...

Error repair in shift-reduce parsers
Bruce J. McKenzie, Corey Yeatman, Lorraine de Vere
Pages: 672-689
DOI: 10.1145/210184.210193
Local error repair of strings during CFG parsing requires the insertion and deletion of symbols in the region of a syntax error to produce a string that is error free. Rather than precalculating tables at parser generation time to assist in...