LOPLAS

Keyphrases

Publications

volume 2, number 1-4, 1993

Kim Marriott, Harald Søndergaard
Precise and Efficient Groundness Analysis for Logic Programs. LOPLAS 2 (1-4) (1993)
Preston Briggs, Linda Torczon
An Efficient Representation for Sparse Sets. LOPLAS 2 (1-4) (1993)
Rajiv Gupta
Optimizing Array Bound Checks Using Flow Analysis. LOPLAS 2 (1-4) (1993)
James R. Larus
Compiling for Shared-Memory and Message-Passing Computers. LOPLAS 2 (1-4) (1993)
Peter Bumbulis, Donald D. Cowan
RE2C: A More Versatile Scanner Generator. LOPLAS 2 (1-4) (1993)
Robert Metzger, Sean Stroud
Interprocedural Constant Propagation: An Empirical Study. LOPLAS 2 (1-4) (1993)
Kim Marriott, Peter J. Stuckey
Semantics of Constraint Logic Programs with Optimization. LOPLAS 2 (1-4) (1993)
Alok N. Choudhary, Geoffrey C. Fox, Seema Hiranandani, Ken Kennedy, Charles Koelbel, Sanjay Ranka, Chau-Wen Tseng
Unified Compilation of Fortran 77D and 90D. LOPLAS 2 (1-4) (1993)
Owen Kaser, C. R. Ramakrishnan, Shaunak Pawagi
On the Conversion of Indirect to Direct Recursion. LOPLAS 2 (1-4) (1993)
Hans-Juergen Boehm, Alan J. Demers, Chris Uhler
Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm. LOPLAS 2 (1-4) (1993)
Robert D. Cameron
Extending Context-Free Grammars with Permutation Phrases. LOPLAS 2 (1-4) (1993)
Thomas Ball
What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow. LOPLAS 2 (1-4) (1993)
David W. Binkley
Precise Executable Interprocedural Slices. LOPLAS 2 (1-4) (1993)
Mike Beaven, Ryan Stansifer
Explaining Type Errors In Polimorphic Languages. LOPLAS 2 (1-4) (1993)
Xiaolei Qian, Allen Goldberg
Referential Opacity In Nondeterministic Data Refinement. LOPLAS 2 (1-4) (1993)
Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers
References to Remote Mobile Objects in Thor. LOPLAS 2 (1-4) (1993)
Richard A. Eyre-Todd
The Detection of Dangling References in C++ Programs. LOPLAS 2 (1-4) (1993)

volume 1, number 1, 1992

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

volume 1, number 2, 1992

volume 1, number 3, 1992

volume 1, number 4, 1992