POPL 1982

38 papers

1. A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures · Neil D. Jones, Steven S. Muchnick
2. A Logic for Expressions with Side-Effects · Hans-Juergen Boehm
3. A Semantics-Directed Compiler Generator · Lawrence C. Paulson
4. A Type Declaration and Inference System for Smalltalk · Alan Borning, Daniel H. H. Ingalls
5. Algorithmic Program Diagnosis · Ehud Y. Shapiro
6. An Axiomatic Treatment of Exception Handling · Shaula Yemini
7. Automatic Generation of Machine Specific Code Optimizers · Robert Giegerich
8. Axiomatic Definability and Completeness for Recursive Programs · Albert R. Meyer, John C. Mitchell
9. Building Friendly Parsers · Fahimeh Jalili, Jean H. Gallier
10. Code Generation and Reorganization in the Presence of Pipeline Constraints · John L. Hennessy, Thomas R. Gross
11. Completion Semantics, Interpreter Generation · Martin C. Henson, Raymond Turner
12. Description-Driven Code Generation using Attribute Grammars · Mahadevan Ganapathi, Charles N. Fischer
13. Eliminating Redundant Object Code · Jack W. Davidson, Christopher W. Fraser
14. Experience with an Attribute Grammar-Based Compiler · Rodney Farrow
15. Extended Naming Conventions for Communicating Processes · Nissim Francez
16. Guardians and Actions: Linguistic Support for Robust, Distributed Programs · Barbara Liskov, Robert Scheifler
17. Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL · Rivi Sherman, Amir Pnueli, David Harel
18. Lithe: A Language Combining a Flexible Syntax, Classes · David W. Sandberg
19. Maple: a Programming Language, Operating System · Paul J. Voda
20. Messages as Active Agents · David W. Wall
21. Modular Verification of Concurrent Programs · Brent Hailpern, Susan S. Owicki
22. Non-Syntactic Attribute Flow in Language Based Editors · Gregory F. Johnson, Charles N. Fischer
23. On Effective Axiomatizations of Hoare Logics · Edmund M. Clarke, Steven M. German, Joseph Y. Halpern
24. On the Ability of Structures to Store and Access Information · Adrienne Critcher
25. On the Composition of Processes · Vaughan R. Pratt
26. On the Expressive Power of Query Languages for Relational Databases · Eric C. Cooper
27. Optimal Code for Control Structures · M. V. S. Ramanath, Marvin H. Solomon
28. Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors · Thomas W. Reps
29. Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog · Henryk Jan Komorowski
30. Practical Error Recovery in LR Parsing · Seppo Sippu, Eljas Soisalon-Soininen
31. Principal Type-Schemes for Functional Programs · Luís Damas, Robin Milner
32. Programming Aspects of VLSI · Richard J. Lipton, Robert Sedgewick, Jacobo Valdes
33. Semantics and Correctness of a Query Language Translation · E. Gansner, Joseph R. Horgan, Chandra M. R. Kintala, D. J. Moore, Pamela Surko
34. Semantics-Directed Machine Architecture · Mitchell Wand
35. Specification and Synthesis of Communicating Processes using an Extended Temporal Logic · Pierre Wolper
36. Termination of Probabilistic Concurrent Programs · Sergiu Hart, Micha Sharir, Amir Pnueli
37. Unbounded Speed Variability in Distributed Communication Systems · John H. Reif, Paul G. Spirakis
38. Unified Dialogue Management in the Carousel System · Erik Sandewall