default search action
PLDI 1990: White Plains, New York
- Bernard N. Fischer:
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 - Karl Pettis, Robert C. Hansen:
Profile Guided Code Positioning. 16-27
Session 2
- Vatsa Santhanam, Daryl Odnert:
Register Allocation Across Procedure and Module Boundaries. 28-39 - 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 - William W. Pugh, Grant E. Weddell:
Two-Directional Record Layout for Multiple Inheritance. 85-91
Session 4
- William D. Clinger:
How to Read Floating-Point Numbers Accurately. 92-101 - Vernon A. Lee Jr., Hans-Juergen Boehm:
Optimizing Programs over the Constructive Reals. 102-111 - Guy L. Steele Jr., Jon L. White:
How to Print Floating-Point Numbers Accurately. 112-126
Session 5
- Gordon V. Cormack, Andrew K. Wright:
Type-Dependent Parameter Inference. 127-136 - Steven Anderson, Paul Hudak:
Compilation of Haskell Array Comprehensions for Scientific Computing. 137-149 - Craig Chambers, David M. 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
- Tim Teitelbaum, Richard Chapman:
Higher-Order Attribute Grammars and Editing Environments. 197-208 - 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 - Hiralal Agrawal, Joseph Robert Horgan:
Dynamic Program Slicing. 246-256 - 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 - David R. Chase, Mark N. Wegman, F. Kenneth Zadeck:
Analysis of Pointers and Structures. 296-310
Session 10
- Ping-Sheng Tseng:
Compiling Programs for a Linear Systolic Array. 311-321 - Vivek Sarkar:
Instruction Reordering for Fork-Join Parallelism. 322-336 - Ron Cytron, Jeanne Ferrante, Vivek Sarkar:
Compact Representations for Control Dependence. 337-351
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: