TOPLAS 1989

26 papers

1. A Denotational Semantics for Prolog · Tim Nicholson, Norman Y. Foo
2. A Generalization of Dijkstra's Calculus · Greg Nelson
3. A Simple Interprocedural Register Allocation Algorithm and Its Effectiveness for Lisp · Peter Steenkiste, John L. Hennessy
4. Code Generation Using Tree Matching and Dynamic Programming · Alfred V. Aho, Mahadevan Ganapathi, Steven W. K. Tjiang
5. Concurrency in Heavily Loaded Neighborhood-Constrained Systems · Valmir Carneiro Barbosa, Eli Gafni
6. Designing Families of Data Types Using Exemplars · Wilf R. LaLonde
7. Distributed FIFO Allocation of Identical Resources Using Small Shared Space · Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin
8. ECCS and LIPS: Two Languages for OSI Systems Specification and Verification · Vincenza Carchiolo, Antonella Di Stefano, Alberto Faro, Giuseppe Pappalardo
9. Efficient High-Level Iteration with Accumulators · Robert D. Cameron
10. Efficient Implementation of Lattice Operations · Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr
11. Efficient Implementation of the First-Fit Strategy for Dynamic Storage Allocation · Richard P. Brent
12. Functional Computations in Logic Programs · Saumya K. Debray, David Scott Warren
13. I-Structures: Data Structures for Parallel Computing · Arvind, Rishiyur S. Nikhil, Keshav Pingali
14. Incremental Dynamic Semantics for Language-Based Programming Environments · Gail E. Kaiser
15. Integrating Noninterfering Versions of Programs · Susan Horwitz, Jan F. Prins, Thomas W. Reps
16. Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types · William E. Weihl
17. On Lamport's Interprocessor Communication Model · Frank D. Anger
18. On the Productivity of Recursive List Definitions · Ben A. Sijtsma
19. Row Replacement Algorithms for Screen Editors · Eugene W. Myers, Webb Miller
20. Scheduling Expressions on a Pipelined Processor with a Maximal Delay of One Cycle · David Bernstein, Izidor Gertner
21. Some Comments on ''A Solution to a Problem with Morel and Renvoise's 'Global Optimization by Suppression of Partial Redundancies' · Arthur Sorkin
22. Static Inference of Modes and Data Dependencies in Logic Programs · Saumya K. Debray
23. Synchronization of Asynchronous Processes in CSP · Rajive L. Bagrodia
24. Type Representation of Objects by Functions · Jørgen Steensgaard-Madsen
25. Uniform Self-Stabilizing Rings · James E. Burns, Jan K. Pachl
26. Verifying Temporal Properties without Temporal Logic · Bowen Alpern, Fred B. Schneider