


Остановите войну!
for scientists:


default search action
PLDI 1988: Atlanta, Georgia
- Richard L. Wexelblat:
Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24, 1988. ACM 1988, ISBN 0-89791-269-1
SIGPLAN Notices 23(7) (July 1988)
Session 1
- David R. Chase:
Safety Considerations for Storage Allocation Optimizations. 1-10 - Andrew W. Appel
, John R. Ellis, Kai Li:
Real-Time Concurrent Collection on Stock Multiprocessors. 11-20 - James R. Larus, Paul N. Hilfinger:
Detecting Conflicts Between Structure Accesses. 21-34
Session 2
- Susan Horwitz, Thomas W. Reps, David W. Binkley:
Interprocedural Slicing Using Dependence Graphs. 35-46 - David Callahan:
The Program Summary Graph and Flow-Sensitive InterproceduralData Flow Analysis. 47-56 - Keith D. Cooper, Ken Kennedy:
Interprocedural Side-Effect Analysis in Linear Time. 57-66
Session 3
- David W. Wall:
Register Windows versus Register Allocation. 67-78 - Christopher W. Fraser, Alan L. Wendt:
Automatic Generation of Fast Optimizing Code Generators. 79-84 - Fred C. Chow:
Minimizing Register Usage Penalty at Procedure Calls. 85-94
Session 4
- Kurt Keutzer, Wayne H. Wolf:
Anatomy of a Hardware Compiler. 95-104 - Kristy Andrews, Robert R. Henry, Wayne K. Yamamoto:
Design and Implementation of the UW Illustrated Compiler. 105-114 - Daniel M. Yellin, Robert E. Strom:
INC: A Language for Incremental Computations. 115-124
Session 5
- Deborah S. Coutant, Sue Meloy, Michelle Ruscetta:
DOC: A Practical Approach to Source-Level Debugging of Globally Optimized Code. 125-134 - Barton P. Miller, Jong-Deok Choi:
A Mechanism for Efficient Debugging of Parallel Programs. 135-144 - Janice M. Stone:
Debugging Concurrent Processes: A Case Study. 145-153
Session 6
- Suneel Jain, Carol L. Thompson:
An Efficient Approach to Data Flow Analysis in a Multi Pass Global Optimizer. 154-163 - Olin Shivers:
Control-Flow Analysis in Scheme. 164-174 - Birgit Schwarz, Walter Kirchgässner, Rudolf Landwehr:
An Optimizer for Ada - Design, Experiences and Results. 175-184
Session 7
- Robert A. Ballance, Jacob Butcher, Susan L. Graham:
Grammatical Abstraction and Incremental Syntax Analysis in a Language-Based Editor. 185-198 - Frank Pfenning, Conal Elliott:
Higher-Order Abstract Syntax. 199-208 - Janet A. Walz, Gregory F. Johnson:
Incremental Evaluation for a General Class of Circular Attribute Grammars. 209-221
Session 8
- Uwe F. Pleban, Peter Lee:
An Automatically Generated, Realistic Compiler for an Imperative Programming Language. 222-232 - V. Seshadri, David B. Wortman, Michael D. Junkin, S. Weber, C. P. Yu, I. Small:
Semantic Analysis in a Concurrent Compiler. 233-240 - Randy Allen, Steve Johnson:
Compiling C for Vectorization, Parallelization, and Inline Expansion. 241-249
Session 9
- John H. Reppy
:
Synchronous Operations as First-Class Values. 250-259 - Barbara Liskov, Liuba Shrira:
Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. 260-267 - Joseph Pallas, David M. Ungar:
Multiprocessor Smalltalk: A Case Study of a Multiprocessor-Based Programming Environment. 268-277
Session 10
- John R. Rose:
Refined Types: Highly Differentiated Type Systems and Their Use in the Design of Intermediate Langages. 278-287 - J. L. Weiner, S. Ramakrishnan:
A Piggy-back Compiler For Prolog. 288-296 - Saumya K. Debray:
Unfold/Fold Transformations and Loop Optimization of Logic Programs. 297-307
Session 11
- Alexander Aiken, Alexandru Nicolau:
Optimal Loop Parallelization. 308-317 - Monica Lam:
Software Pipelining: An Effective Scheduling Technique for VLIW Machines. 318-328 - Manuel E. Benitez, Jack W. Davidson:
A Portable Global Optimizer and Linker. 329-338

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.