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

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

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

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 BibTeX
Keith D. Cooper, Ken Kennedy, Linda Torczon: The Impact of Interprocedural Analysis and Optimization in the Rn Programming Environment. 491-523 BibTeX
Mark Moriconi, Dwight F. Hare: The PegaSys System: Pictures as Formal Documentation of Large Programs. 524-546 BibTeX
Rolf Bahlke, Gregor Snelting: The PSG System: From Formal Language Definitions to Interactive Programming Environments. 547-576 BibTeX
Susan Horwitz, Tim Teitelbaum: Generating Editing Environments Based on Relations and Attributes. 577-608 BibTeX