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

Last update Fri May 25 09:48:08 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page