9. POPL 1982:
Albuquerque,
New Mexico
Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages,
Albuquerque, New Mexico, January 1982.
- Sergiu Hart, Micha Sharir, Amir Pnueli:
Termination of Probabilistic Concurrent Programs.
1-6 BibTeX
- Barbara Liskov, Robert Scheifler:
Guardians and Actions: Linguistic Support for Robust, Distributed Programs.
7-19 BibTeX
- Pierre Wolper:
Specification and Synthesis of Communicating Processes using an Extended Temporal Logic.
20-33 BibTeX
- David W. Wall:
Messages as Active Agents.
34-39 BibTeX
- Nissim Francez:
Extended Naming Conventions for Communicating Processes.
40-45 BibTeX
- John H. Reif, Paul G. Spirakis:
Unbounded Speed Variability in Distributed Communication Systems.
46-56 BibTeX
- Richard J. Lipton, Robert Sedgewick, Jacobo Valdes:
Programming Aspects of VLSI.
57-65 BibTeX
- Neil D. Jones, Steven S. Muchnick:
A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures.
66-74 BibTeX
- Robert Giegerich:
Automatic Generation of Machine Specific Code Optimizers.
75-81 BibTeX
- M. V. S. Ramanath, Marvin H. Solomon:
Optimal Code for Control Structures.
82-94 BibTeX
- Rodney Farrow:
Experience with an Attribute Grammar-Based Compiler.
95-107 BibTeX
- Mahadevan Ganapathi, Charles N. Fischer:
Description-Driven Code Generation using Attribute Grammars.
108-119 BibTeX
- John L. Hennessy, Thomas R. Gross:
Code Generation and Reorganization in the Presence of Pipeline Constraints.
120-127 BibTeX
- Jack W. Davidson, Christopher W. Fraser:
Eliminating Redundant Object Code.
128-132 BibTeX
- Alan Borning, Daniel H. H. Ingalls:
A Type Declaration and Inference System for Smalltalk.
133-141 BibTeX
- David Sandberg:
Lithe: A Language Combining a Flexible Syntax, Classes.
142-145 BibTeX
- Erik Sandewall:
Unified Dialogue Management in the Carousel System.
146-156 BibTeX
- Paul J. Voda:
Maple: a Programming Language, Operating System.
157-168 BibTeX
- Thomas W. Reps:
Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors.
169-176 BibTeX
- Seppo Sippu, Eljas Soisalon-Soininen:
Practical Error Recovery in LR Parsing.
177-184 BibTeX
- Gregory F. Johnson, Charles N. Fischer:
Non-Syntactic Attribute Flow in Language Based Editors.
185-195 BibTeX
- Fahimeh Jalili, Jean H. Gallier:
Building Friendly Parsers.
196-206 BibTeX
- Luís Damas, Robin Milner:
Principal Type-Schemes for Functional Programs.
207-212 BibTeX
- Vaughan R. Pratt:
On the Composition of Processes.
213-223 BibTeX
- Lawrence C. Paulson:
A Semantics-Directed Compiler Generator.
224-233 BibTeX
- Mitchell Wand:
Semantics-Directed Machine Architecture.
234-241 BibTeX
- Martin C. Henson, Raymond Turner:
Completion Semantics, Interpreter Generation.
242-254 BibTeX
- Henryk Jan Komorowski:
Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog.
255-267 BibTeX
- Hans-Juergen Boehm:
A Logic for Expressions with Side-Effects.
268-280 BibTeX
- Shaula Yemini:
An Axiomatic Treatment of Exception Handling.
281-288 BibTeX
- E. Gansner, Joseph R. Horgan, Chandra M. R. Kintala, D. J. Moore, P. Surko:
Semantics and Correctness of a Query Language Translation.
289-298 BibTeX
- Ehud Y. Shapiro:
Algorithmic Program Diagnosis.
299-308 BibTeX
- Edmund M. Clarke, Steven M. German, Joseph Y. Halpern:
On Effective Axiomatizations of Hoare Logics.
309-321 BibTeX
- Brent Hailpern, Susan S. Owicki:
Modular Verification of Concurrent Programs.
322-336 BibTeX
- Albert R. Meyer, John C. Mitchell:
Axiomatic Definability and Completeness for Recursive Programs.
337-346 BibTeX
- Rivi Sherman, Amir Pnueli, David Harel:
Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL.
347-360 BibTeX
- Eric C. Cooper:
On the Expressive Power of Query Languages for Relational Databases.
361-365 BibTeX
- Adrienne Critcher:
On the Ability of Structures to Store and Access Information.
366-378 BibTeX
Copyright © Sat May 16 23:34:34 2009
by Michael Ley (ley@uni-trier.de)
