POPL 1985

30 papers

1. A Greedy Approach to Incremental Code Generation · Ray Ford, Duangkaew Sawamiphakdi
2. A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors · Gregory F. Johnson, Charles N. Fischer
3. A Model and Temporal Proof System for Networks of Processes · Van Nguyen, David Gries, Susan S. Owicki
4. Abstract Types Have Existential Type · John C. Mitchell, Gordon D. Plotkin
5. Analyzing Aliases of Reference Formal Parameters · Keith D. Cooper
6. Checking That Finite State Concurrent Programs Satisfy Their Linear Specification · Orna Lichtenstein, Amir Pnueli
7. Closurize and Concentrate · Julian A. Padget, John P. Fitch
8. Compiling Path Expressions into VLSI Circuits · Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra
9. Constant Propagation with Conditional Branches · Mark N. Wegman, F. Kenneth Zadeck
10. Constraining Control · Daniel P. Friedman, Christopher T. Haynes
11. Constraints: A Uniform Approach to Aliasing and Typing · Leslie Lamport, Fred B. Schneider
12. Declaration-Free Type Checking · Prateek Mishra, Uday S. Reddy
13. Denotational Semantics and Rewrite Rules for FP · Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler
14. Efficient Tree Pattern Matching: An Aid to Code Generation · Alfred V. Aho, Mahadevan Ganapathi
15. Embedding Type Structure in Semantics · Mitchell Wand
16. Functional Programming and the Logical Variable · Gary Lindstrom
17. High-Level Language Facilities for Low-Level Services · Christopher W. Fraser, David R. Hanson
18. Incremental Compilation of Locally Optimized Code · Lori L. Pollock, Mary Lou Soffa
19. Logical and Mathematical Reasoning about Imperative Programs · Daniel Leivant
20. Matchmaker: An Interface Specification Language for Distributed Processing · Michael B. Jones, Richard F. Rashid, Mary R. Thompson
21. Modalities for Model Checking: Branching Time Strikes Back · E. Allen Emerson, Chin-Laung Lei
22. On Linearizing Parallel Code · Jeanne Ferrante, Mary E. Mace
23. Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses · David Bernstein, Ron Y. Pinter, Michael Rodeh
24. Principles of OBJ2 · Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer
25. Program Specification and Development in Standard ML · Donald Sannella, Andrzej Tarlecki
26. Semantics-Directed Code Generation · Andrew W. Appel
27. Smart Recompilation · Walter F. Tichy, Mark C. Baker
28. The Aggregate Update Problem in Functional Programming Systems · Paul Hudak, Adrienne G. Bloss
29. Types as Intervals · Robert Cartwright
30. What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority · Leslie Lamport