8. POPL 1981:
Williamsburg,
Virginia
Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages,
Williamsburg,
Virginia,
January 1981.
- P. Geoffrey Lowney:
Carrier Arrays: An Idiom-Preserving Extension to APL.
1-13
- Robert Cartwright, Robert Hood, Philip Mathews:
Paths: An Abstract Alternative to Pointers.
14-27
- J. Ramanathan, C. J. Shubra:
Modeling of Problem Domains for Driving Program Development Systems.
28-40
- William L. Scherlis:
Program Improvement by Internal Specialization.
41-49
- Ashok K. Chandra:
Programming Primitives for Database Languages.
50-62
- Michael W. Condry:
Paging as a ``Language Processing'' Task.
63-76
- Susan S. Owicki:
Making the World Safe for Garbage Collection.
77-86
- William H. Harrison:
Position Paper on Optimizing Compilers.
88-89
- Stephen C. Johnson:
Position Paper on Optimizing Compilers.
90-91
- Cyril N. Alberga, Alfred L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman:
A Program Development Tool.
92-104
- Alan J. Demers, Thomas W. Reps, Tim Teitelbaum:
Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors.
105-116
- Barry K. Rosen:
Linear Cost is Sometimes Quadratic.
117-124
- Robert Cartwright:
Formal Program Testing.
125-132
- Daniel J. Lehmann, Michael O. Rabin:
On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem.
133-138
- Joseph Y. Halpern, Albert R. Meyer:
Axiomatic Definitions of Programming Languages, II.
139-148
- Wolfgang Polak:
Program Verification Based on Denotational Semantics.
149-158
- Vaughan R. Pratt:
Program Logic Without Binding is Decidable.
159-163
- Mordechai Ben-Ari, Zohar Manna, Amir Pnueli:
The Temporal Logic of Branching Time.
164-176
- Takuya Katayama, Yutaka Hoshino:
Verification of Attribute Grammars.
177-186
- Norihisa Suzuki:
Inferring Types in Smalltalk.
187-199
- John L. Hennessy:
Program Optimization and Exception Handling.
200-206
- David J. Kuck, Robert H. Kuhn, David A. Padua, Bruce Leasure, Michael Wolfe:
Dependence Graphs and Compiler Optimizations.
207-218
- Eugene W. Myers:
A Precise Interprocedural Data Flow Algorithm.
219-230
Copyright © Tue Nov 10 00:05:50 2009
by Michael Ley (ley@uni-trier.de)
