Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 23 Issue 2, March 2001

A schema for interprocedural modification side-effect analysis with pointer aliasing
Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher
Pages: 105-186
DOI: 10.1145/383043.381532
The first interprocedural modification side-effects analysis for C (MODC) that obtains better than worst-case precision on programs with general-purpose pointer usage is presented with empirical results. The...

Synthesis of concurrent programs for an atomic read/write model of computation
Paul C. Attie, E. Allen Emerson
Pages: 187-242
DOI: 10.1145/383043.383044
Methods for mechanically synthesizing concurrent programs for temporal logic specifications have been proposed by Emerson and Clarke and by Manna and Wolper. An important advantage of these synthesis methods is that they obviate the need to...

Type elaboration and subtype completion for Java bytecode
Todd B. Knoblock, Jakob Rehof
Pages: 243-272
DOI: 10.1145/383043.383045
Java source code is strongly typed, but the translation from Java source to bytecode omits much of the type information originally contained within methods. Type elaboration is a technique for reconstructing strongly typed programs from...