PLDI 1990: White Plains, New York

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, June 20-22, 1990. SIGPLAN Notices 25(6) (June 1990)

Session 1

Robert Giegerich: On the Structure of Verifiable Code Generator Specifications. 1-8 BibTeX
Alan L. Wendt: Fast Code Generation Using Automatically-Generated Decision Trees. 9-15 BibTeX
Karl Pettis, Robert C. Hansen: Profile Guided Code Positioning. 16-27 BibTeX

Session 2

Vatsa Santhanam, Daryl Odnert: Register Allocation Across Procedure and Module Boundaries. 28-39 BibTeX
Brian R. Nickerson: Graph Coloring Register Allocation for Processors with Multi-Register Operands. 40-52 BibTeX
David Callahan, Steve Carr, Ken Kennedy: Improving Register Allocation for Subscripted Variables. 53-65 BibTeX

Session 3

Robert Hieb, R. Kent Dybvig, Carl Bruggeman: Representing Control in the Presence of First-Class Continuations. 66-77 BibTeX
Peter B. Kessler: Fast Breakpoints: Design and Implementation. 78-84 BibTeX
William Pugh, Grant E. Weddell: Two-Directional Record Layout for Multiple Inheritance. 85-91 BibTeX

Session 4

William D. Clinger: How to Read Floating-Point Numbers Accurately. 92-101 BibTeX
Vernon A. Lee Jr., Hans-Juergen Boehm: Optimizing Programs over the Constructive Reals. 102-111 BibTeX
Guy L. Steele Jr., Jon L. White: How to Print Floating-Point Numbers Accurately. 112-126 BibTeX

Session 5

Gordon V. Cormack, Andrew K. Wright: Type-Dependent Parameter Inference. 127-136 BibTeX
Steven Anderson, Paul Hudak: Compilation of Haskell Array Comprehensions for Scientific Computing. 137-149 BibTeX
Craig Chambers, David Ungar: Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. 150-164 BibTeX

Session 6

Dean Jacobs: Type Declarations as Subtype Constraints in Logic Programming. 165-173 BibTeX
Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo: Task Granularity Analysis in Logic Programs. 174-188 BibTeX
Thanasis Mitsolides, Malcolm Harrison: Generators and the Replicator Control Structures in the Parallel Environment of ALLOY. 189-196 BibTeX

Session 7

Tim Teitelbaum, Richard Chapman: Higher-Order Attribute Grammars and Editing Environments. 197-208 BibTeX
Martin Jourdan, Didier Parigot, Catherine Julié, Olivier Durin, Carole Le Bellec: Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System. 209-222 BibTeX
Robert R. Henry, Kenneth M. Whaley, Bruce Forstall: The University of Washington Illustrating Compiler. 223-233 BibTeX

Session 8

Susan Horwitz: Identifying the Semantic and Textual Differences Between Two Versions of a Program. 234-245 BibTeX
Hiralal Agrawal, Joseph Robert Horgan: Dynamic Program Slicing. 246-256 BibTeX
Robert A. Ballance, Arthur B. Maccabe, Karl J. Ottenstein: The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages. 257-271 BibTeX

Session 9

Rajiv Gupta: A Fresh Look at Optimizing Array Bound Checking. 272-282 BibTeX
Zahira Ammarguellat, Williams Ludwell Harrison III: Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation. 283-295 BibTeX
David R. Chase, Mark N. Wegman, F. Kenneth Zadeck: Analysis of Pointers and Structures. 296-310 BibTeX

Session 10

Ping-Sheng Tseng: Compiling Programs for a Linear Systolic Array. 311-321 BibTeX
Vivek Sarkar: Instruction Reordering for Fork-Join Parallelism. 322-336 BibTeX
Ron Cytron, Jeanne Ferrante, Vivek Sarkar: Compact Representations for Control Dependence. 337-351 BibTeX

Copyright © Wed Jun 4 18:49:57 2008 by Michael Ley (ley@uni-trier.de)