PLDI 1990: White Plains, New York
Bernard N. Fischer (Ed.): Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990. ACM 1990 ISBN 0-89791-364-7
SIGPLAN Notices 25(6) (June 1990)
Session 1
- Robert Giegerich: On the Structure of Verifiable Code Generator Specifications. 1-8
- Alan L. Wendt: Fast Code Generation Using Automatically-Generated Decision Trees. 9-15
Session 2
- Brian R. Nickerson: Graph Coloring Register Allocation for Processors with Multi-Register Operands. 40-52
- David Callahan, Steve Carr, Ken Kennedy: Improving Register Allocation for Subscripted Variables. 53-65
Session 3
- Robert Hieb, R. Kent Dybvig, Carl Bruggeman: Representing Control in the Presence of First-Class Continuations. 66-77
- Peter B. Kessler: Fast Breakpoints: Design and Implementation. 78-84
Session 4
- William D. Clinger: How to Read Floating-Point Numbers Accurately. 92-101
Session 5
- Steven Anderson, Paul Hudak: Compilation of Haskell Array Comprehensions for Scientific Computing. 137-149
- Craig Chambers, David Ungar: Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. 150-164
Session 6
- Dean Jacobs: Type Declarations as Subtype Constraints in Logic Programming. 165-173
- Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo: Task Granularity Analysis in Logic Programs. 174-188
- Thanasis Mitsolides, Malcolm Harrison: Generators and the Replicator Control Structures in the Parallel Environment of ALLOY. 189-196
Session 7
- Martin Jourdan, Didier Parigot, Catherine Julié, Olivier Durin, Carole Le Bellec: Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System. 209-222
- Robert R. Henry, Kenneth M. Whaley, Bruce Forstall: The University of Washington Illustrating Compiler. 223-233
Session 8
- Susan Horwitz: Identifying the Semantic and Textual Differences Between Two Versions of a Program. 234-245
- 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
Session 9
- Rajiv Gupta: A Fresh Look at Optimizing Array Bound Checking. 272-282
- Zahira Ammarguellat, Williams Ludwell Harrison III: Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation. 283-295
Session 10
- Ping-Sheng Tseng: Compiling Programs for a Linear Systolic Array. 311-321
- Vivek Sarkar: Instruction Reordering for Fork-Join Parallelism. 322-336
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team