ACM Letters on Programming Languages and Systems (LOPLAS), Volume 1

Volume 1, Number 1, March 1992

Preston Briggs, Keith D. Cooper, Linda Torczon: Coloring Register Pairs. 3-13 BibTeX
Michael G. Burke, Jong-Deok Choi: Precise and Efficient Integration of Interprocedural Alias Information into Data-Flow Analysis. 14-21 BibTeX
Keith D. Cooper, Mary W. Hall, Linda Torczon: Unexpected Side Effects of Inline Substitution: A Case Study. 22-32 BibTeX
Vincent Dornic, Pierre Jouvelot, David K. Gifford: Polymorphic Time Systems for Estimating Program Complexity. 33-45 BibTeX
Ralph E. Johnson: Reducing the Latency of a Real-Time Garbage Collector. 46-58 BibTeX
Bruce McKenney, Boleslaw K. Szymanski: Generating Parallel Code for SIMD Machines. 59-73 BibTeX
Robert H. B. Netzer, Barton P. Miller: What Are Race Conditions? Some Issues and Formalizations. 74-88 BibTeX
Ambuj K. Singh: On Reasoning With the Global Time Assumption. 89-103 BibTeX

Johnathan M. Asuru: Optimization of Array Subscript Range Checks. 109-118 BibTeX
Suzanne W. Dietrich: Shortest Path by Approximation in Logic Programs. 119-137 BibTeX
David Goldberg: The Design of Floating-Point Data Types. 138-151 BibTeX
Carl McConnell, Ralph E. Johnson: Using Static Single Assignment Form in a Code Optimizer. 152-160 BibTeX
David Tarditi, Peter Lee, Anurag Acharya: No Assembly Required: Compiling Standard ML to C. 161-177 BibTeX
Michael Weiss: The Transitive Closure of Control Dependence: The Iterated Join. 178-190 BibTeX

Olivier Danvy, John Hatcliff: CPS-Transformation After Strictness Analysis. 195-212 BibTeX
Christopher W. Fraser, David R. Hanson, Todd A. Proebsting: Engineering a Simple, Efficient Code-Generator Generator. 213-226 BibTeX
Mary W. Hall, Ken Kennedy: Efficient Call Graph Analysis. 227-242 BibTeX
Joseph Hummel, Laurie J. Hendren, Alexandru Nicolau: Abstract Description of Pointer Data Structures: An Approach for Improving the Analysis and Optimization of Imperative Programs. 243-260 BibTeX
William Pugh: Definitions of Dependence Distance. 261-265 BibTeX
Balkrishna Ramkumar: Distributed Last Call Optimization for Portable Parallel Logic Programming. 266-283 BibTeX
Kenneth Walker, Ralph E. Griswold: The Maintenance of Intermediate Values in Goal-Directed Evaluation. 284-298 BibTeX

Peter Fritzson, Nahid Shahmehri, Mariam Kamkar, Tibor Gyimóthy: Generalized Algorithmic Debugging and Testing. 303-322 BibTeX
William Landi: Undecidability of Static Analysis. 323-337 BibTeX
Kelvin D. Nilsen, William J. Schmidt: Cost-Effective Object Space Management for Hardware-Assisted Real-Time Garbage Collection. 338-354 BibTeX
Amitabh Srivastava: Unreachable Procedures in Object-Oriented Programming. 355-364 BibTeX