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 BibTeX
- Robert Cartwright, Robert Hood, Philip Mathews:
Paths: An Abstract Alternative to Pointers.
14-27 BibTeX
- J. Ramanathan, C. J. Shubra:
Modeling of Problem Domains for Driving Program Development Systems.
28-40 BibTeX
- William L. Scherlis:
Program Improvement by Internal Specialization.
41-49 BibTeX
- Ashok K. Chandra:
Programming Primitives for Database Languages.
50-62 BibTeX
- Michael W. Condry:
Paging as a ``Language Processing'' Task.
63-76 BibTeX
- Susan S. Owicki:
Making the World Safe for Garbage Collection.
77-86 BibTeX
- William H. Harrison:
Position Paper on Optimizing Compilers.
88-89 BibTeX
- Stephen C. Johnson:
Position Paper on Optimizing Compilers.
90-91 BibTeX
- Cyril N. Alberga, Alfred L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman:
A Program Development Tool.
92-104 BibTeX
- Alan J. Demers, Thomas W. Reps, Tim Teitelbaum:
Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors.
105-116 BibTeX
- Barry K. Rosen:
Linear Cost is Sometimes Quadratic.
117-124 BibTeX
- Robert Cartwright:
Formal Program Testing.
125-132 BibTeX
- 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 BibTeX
- Joseph Y. Halpern, Albert R. Meyer:
Axiomatic Definitions of Programming Languages, II.
139-148 BibTeX
- Wolfgang Polak:
Program Verification Based on Denotational Semantics.
149-158 BibTeX
- Vaughan R. Pratt:
Program Logic Without Binding is Decidable.
159-163 BibTeX
- Mordechai Ben-Ari, Zohar Manna, Amir Pnueli:
The Temporal Logic of Branching Time.
164-176 BibTeX
- Takuya Katayama, Yutaka Hoshino:
Verification of Attribute Grammars.
177-186 BibTeX
- Norihisa Suzuki:
Inferring Types in Smalltalk.
187-199 BibTeX
- John L. Hennessy:
Program Optimization and Exception Handling.
200-206 BibTeX
- David J. Kuck, Robert H. Kuhn, David A. Padua, Bruce Leasure, Michael Wolfe:
Dependence Graphs and Compiler Optimizations.
207-218 BibTeX
- Eugene W. Myers:
A Precise Interprocedural Data Flow Algorithm.
219-230 BibTeX
Copyright © Wed Jul 23 16:17:10 2008
by Michael Ley (ley@uni-trier.de)
