Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 18 Issue 3, May 1996

Storage assignment to decrease code size
Stan Liao, Srinivas Devadas, Kurt Keutzer, Steven Tjiang, Albert Wang
Pages: 235-253
DOI: 10.1145/229542.229543
DSP architectures typically provide indirect addressing modes with autoincrement and decrement. In addition, indexing mode is generally not available, and there are usually few, if any, general-purpose registers. Hence, it is necessary to use...

Polymorphic typing of variables and references
Geoffrey Smith, Dennis Volpano
Pages: 254-267
DOI: 10.1145/229542.229544
In this article we consider the polymorphic type checking of an imperative language. Our language contains variables, first-class references (pointers), and first-class functions. Variables, as in traditional...

Parallelism for free: efficient and optimal bitvector analyses for parallel programs
Jens Knoop, Bernhard Steffen, Jürgen Vollmer
Pages: 268-299
DOI: 10.1145/229542.229545
We consider parallel programs with shared memory and interleaving semantics, for which we show how to construct for unidirectional bitvector problems optimal analysis algorithms that are as efficient as their purely sequential counterparts and...

Iterated register coalescing
Lal George, Andrew W. Appel
Pages: 300-324
DOI: 10.1145/229542.229546
An important function of any register allocator is to target registers so as to eliminate copy instructions. Graph-coloring register allocation is an elegant approach to this problem. If the source and destination of a move instruction do not...

Probabilistic predicate transformers
Carroll Morgan, Annabelle McIver, Karen Seidel
Pages: 325-353
DOI: 10.1145/229542.229547
Probabilistic predicates generalize standard predicates over a state space; with probabilistic predicate transformers one thus reasons about imperative programs in terms of probabilistic pre- and postconditions. Probabilistic healthiness...