ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 8

Volume 8, Number 1, January 1986

Keith L. Clark, Steve Gregory: Parlog: Parallel Programming in Logic. 1-49
George B. Leeman Jr.: A Formal Approach to Undo Operations in Programming Languages. 50-87
Robert M. Keller, M. Ronan Sleep: Applicative Caching. 88-108
Keshav Pingali, Arvind: Efficient Demand-Driven Evaluation - Part 2. 109-139
Keshav Pingali, Arvind: Clarification of ``Feeding Inputs on Demand'' in Efficient Demand-Driven Evaluation - Part 1. 140-141
Jayadev Misra: Axioms for Memory Access in Asynchronous Hardware Systems. 142-153
Mohamed G. Gouda, Chung-Kuo Chang: Proving Liveness for Networks of Communicating Finite State Machines. 154-182

Laurian M. Chirica, David F. Martin: Toward Compiler Implementation Correctness Proofs. 185-214
C. R. Spooner: The ML Approach to the Readable All-Purpose Language. 215-243
Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. 244-263
Thomas J. Sager: A Short Proof of a Conjecture of DeRemer and Pennello. 264-271

Walter F. Tichy: Smart Recompilation. 273-291
Valentin F. Turchin: The Concept of a Supercompiler. 292-325
K. Mani Chandy, Jayadev Misra: An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. 326-343
Matthew Hennessy: Proving Systolic Systems Correct. 344-387
Krzysztof R. Apt: Correctness Proofs of Distributed Termination Algorithms. 388-405

Papers from the SIGPLAN 85 Symposium on Language Issues in Programming Environments, June 25-28, 1985, Seattle (Proceedings: SIGPLAN Not. 20(7) 1985)

Daniel C. Swinehart, Polle Zellweger, Richard J. Beach, Robert Hagemann: A Structural View of the Cedar Programming Environment. 419-490
Keith D. Cooper, Ken Kennedy, Linda Torczon: The Impact of Interprocedural Analysis and Optimization in the Rn Programming Environment. 491-523
Mark Moriconi, Dwight F. Hare: The PegaSys System: Pictures as Formal Documentation of Large Programs. 524-546
Rolf Bahlke, Gregor Snelting: The PSG System: From Formal Language Definitions to Interactive Programming Environments. 547-576
Susan Horwitz, Tim Teitelbaum: Generating Editing Environments Based on Relations and Attributes. 577-608