PLDI 1989: Portland, Oregon

Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), Portland, Oregon, June 21-23, 1989. SIGPLAN Notices 24(7) (July 1989)

Session 1

G. A. Venkatesh: A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis Techniques. 1-12 BibTeX
Robert Cartwright, Matthias Felleisen: The Semantics of Program Dependence. 13-27 BibTeX
Susan Horwitz, Phil Pfeiffer, Thomas W. Reps: Dependence Analysis for Pointer Variables. 28-40 BibTeX

Session 2

Vasanth Balasundaram, Ken Kennedy: A Technique for Summarizing Data Access and Its Use in Parallelism Enhancing Transformations. 41-53 BibTeX
Ron Cytron, Michael Hind, Wilson C. Hsieh: Automatic Generation of DAG Parallelism. 54-68 BibTeX
Anne Rogers, Keshav Pingali: Process Decomposition Through Locality of Reference. 69-80 BibTeX

Session 3

David A. Kranz, Robert H. Halstead Jr., Eric Mohr: Mul-T: A High-Performance Parallel Lisp. 81-90 BibTeX
Thomas R. Gross, Angelika Zobel, Markus Zolg: Parallel Compilation for a Parallel Machine. 91-100 BibTeX
Waldemar Horwat, Andrew A. Chien, William J. Dally: Experience with CST: Programming and Implementation. 101-109 BibTeX

Session 4

Philip J. Koopman Jr., Peter Lee: A Fresh Look at Combinator Graph Reduction. 110-119 BibTeX
Rodney Farrow, Alec G. Stanculescu: A VHDL Compiler Based on Attribute Grammar Methodology. 120-130 BibTeX
Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper: Higher-Order Attribute Grammars. 131-145 BibTeX
Craig Chambers, David Ungar: Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language. 146-160 BibTeX

Session 5

Gordon V. Cormack: An LR Substring Parser for Noncorrecting Syntax Error Recovery. 161-169 BibTeX
Daniel J. Salomon, Gordon V. Cormack: Scannerless NSLR(1) Parsing of Programming Languages. 170-178 BibTeX
Jan Heering, Paul Klint, J. Rekers: Incremental Generation of Parsers. 179-191 BibTeX

Session 6

Hans-Juergen Boehm: Type Inference in the Presence of Type Abstraction. 192-206 BibTeX
James O'Toole, David K. Gifford: Type Reconstruction with First-Class Polymorphic Values. 207-217 BibTeX
Pierre Jouvelot, David K. Gifford: Reasoning about Continuations with Control Effects. 218-226 BibTeX

Session 7

Helmut Emmelmann, Friedrich-Wilhelm Schröer, Rudolf Landwehr: BEG - A Generator for Efficient Back Ends. 227-237 BibTeX
Christopher W. Fraser: A Language for Writing Code Generators. 238-245 BibTeX
Wen-mei W. Hwu, Pohua P. Chang: Inline Function Expansion for Compiling C Programs. 246-257 BibTeX

Session 8

David Bernstein, Dina Q. Goldin, Martin Charles Golumbic, Hugo Krawczyk, Yishay Mansour, Itai Nahshon, Ron Y. Pinter: Spill Code Minimization Techniques for Optimizing Compilers. 258-263 BibTeX
Rajiv Gupta, Mary Lou Soffa, Tim Steele: Register Allocation via Clique Separators. 264-274 BibTeX
Preston Briggs, Keith D. Cooper, Ken Kennedy, Linda Torczon: Coloring Heuristics for Register Allocation. 275-284 BibTeX

Session 9

Edith Schonberg: On-The-Fly Detection of Access Anomalies. 285-297 BibTeX
Vivek Sarkar: Determining Average Program Execution Times and their Variance. 298-312 BibTeX
Benjamin Goldberg: Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme. 313-321 BibTeX

Session 10

Russell R. Atkinson, Alan J. Demers, Carl Hauser, Christian Jacobi, Peter Kessler, Mark Weiser: Experiences Creating a Portable Cedar. 322-329 BibTeX
Paul R. Wilson, Thomas G. Moher: Demonic Memories for Process Histories. 330-343 BibTeX
Chi-Hung Chi, Henry G. Dietz: Unified Management of Registers and Cache Using Liveness and Cache Bypass. 344-355 BibTeX