POPL 1989

30 papers

1. A Calculus of Higher Order Communicating Systems · Bent Thomsen
2. A Fully Abstract Trace Model for Dataflow Networks · Bengt Jonsson
3. A Rewriting Semantics for Program Dependence Graphs · Rebecca Parsons Selke
4. An Efficient Method of Computing Static Single Assignment Form · Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
5. Bisimulation Through Probabilistic Testing · Kim Guldstrand Larsen, Arne Skou
6. CLP* and Constraint Abstraction · Timothy J. Hickey
7. Continuation-Passing, Closure-Passing Style · Andrew W. Appel, Trevor Jim
8. Copy Elimination in Functional Languages · K. Gopinath, John L. Hennessy
9. Dynamic Typing in a Statically-Typed Language · Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
10. Efficient Temporal Reasoning · E. Allen Emerson, Tom Sadler, Jai Srinivasan
11. Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions · Christine Paulin-Mohring
12. Fast Interprocedural Alias Analysis · Keith D. Cooper, Ken Kennedy
13. Fully Abstract Compositional Semantics for Logic Programs · Haim Gaifman, Ehud Shapiro
14. Generalized Conjunctive Types · Gennaro Monteleone
15. How to Make ad-hoc Polymorphism Less ad-hoc · Philip Wadler, Stephen Blott
16. Incremental Computation via Function Caching · William W. Pugh, Tim Teitelbaum
17. Moded Type Systems for Logic Programming · Katherine A. Yelick, Joseph L. Zachary
18. On the Synthesis of a Reactive Module · Amir Pnueli, Roni Rosner
19. Partial Order Programming · Douglas Stott Parker Jr.
20. Polymorphic Unification and ML Typing · Paris C. Kanellakis, John C. Mitchell
21. Realistic Compilation by Program Transformation · Richard Kelsey, Paul Hudak
22. Relating Models of Polymorphism · José Meseguer
23. Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis · Shmuel Sagiv, Orit Edelstein, Nissim Francez, Michael Rodeh
24. Rewrite, Rewrite, Rewrite, Rewrite, Rewrite · Nachum Dershowitz, Stéphane Kaplan
25. Synthesis of Concurrent Systems with Many Similar Sequential Processes · Paul C. Attie, E. Allen Emerson
26. Temporal Logic Programming is Complete and Expressive · Marianne Baudinet
27. The Modula-3 Type System · Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson
28. The Program Dependence Graph and Vectorization · William Baxter, Henry R. Bauer III
29. Typechecking Records and Variants in a Natural Extension of ML · Didier Rémy
30. Unified Algebras and Modules · Peter D. Mosses