POPL 1981

23 papers

1. A Precise Interprocedural Data Flow Algorithm · Eugene W. Myers
2. A Program Development Tool · Cyril N. Alberga, Allen L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman
3. Axiomatic Definitions of Programming Languages, II · Joseph Y. Halpern, Albert R. Meyer
4. Carrier Arrays: An Idiom-Preserving Extension to APL · P. Geoffrey Lowney
5. Dependence Graphs and Compiler Optimizations · David J. Kuck, Robert H. Kuhn, David A. Padua, Bruce Leasure, Michael Wolfe
6. Formal Program Testing · Robert Cartwright
7. Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors · Alan J. Demers, Thomas W. Reps, Tim Teitelbaum
8. Inferring Types in Smalltalk · Norihisa Suzuki
9. Linear Cost is Sometimes Quadratic · Barry K. Rosen
10. Making the World Safe for Garbage Collection · Susan S. Owicki
11. Modeling of Problem Domains for Driving Program Development Systems · Jay Ramanathan, Charley J. Shubra
12. On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem · Daniel Lehmann, Michael O. Rabin
13. Paging as a "Language Processing" Task · Michael W. Condry
14. Paths: An Abstract Alternative to Pointers · Robert Cartwright, Robert Hood, Philip Mathews
15. Position Paper on Optimizing Compilers · William H. Harrison
16. Position Paper on Optimizing Compilers · Stephen C. Johnson
17. Program Improvement by Internal Specialization · William L. Scherlis
18. Program Logic Without Binding is Decidable · Vaughan R. Pratt
19. Program Optimization and Exception Handling · John L. Hennessy
20. Program Verification Based on Denotational Semantics · Wolfgang Polak
21. Programming Primitives for Database Languages · Ashok K. Chandra
22. The Temporal Logic of Branching Time · Mordechai Ben-Ari, Zohar Manna, Amir Pnueli
23. Verification of Attribute Grammars · Takuya Katayama, Yutaka Hoshino