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

Volume 8, Number 1, January 1986

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/ClarkG86
- ask others
Keith L. Clark, Steve Gregory: Parlog: Parallel Programming in Logic. 1-49
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/Leeman86
- ask others
George B. Leeman Jr.: A Formal Approach to Undo Operations in Programming Languages. 50-87
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/KellerS86
- ask others
Robert M. Keller, M. Ronan Sleep: Applicative Caching. 88-108
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/PingaliA86
- ask others
Keshav Pingali, Arvind: Efficient Demand-Driven Evaluation - Part 2. 109-139
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/PingaliA86a
- ask others
Keshav Pingali, Arvind: Clarification of ``Feeding Inputs on Demand'' in Efficient Demand-Driven Evaluation - Part 1. 140-141
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/Misra86
- ask others
Jayadev Misra: Axioms for Memory Access in Asynchronous Hardware Systems. 142-153
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/GoudaC86
- ask others
Mohamed G. Gouda, Chung-Kuo Chang: Proving Liveness for Networks of Communicating Finite State Machines. 154-182

Volume 8, Number 2, April 1986

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/ChiricaM86
- ask others
Laurian M. Chirica, David F. Martin: Toward Compiler Implementation Correctness Proofs. 185-214
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/Spooner86
- ask others
C. R. Spooner: The ML Approach to the Readable All-Purpose Language. 215-243
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/ClarkeES86
- ask others
Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. 244-263
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/Sager86
- ask others
Thomas J. Sager: A Short Proof of a Conjecture of DeRemer and Pennello. 264-271

Volume 8, Number 3, July 1986

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/Tichy86
- ask others
Walter F. Tichy: Smart Recompilation. 273-291
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/Turchin86
- ask others
Valentin F. Turchin: The Concept of a Supercompiler. 292-325
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/ChandyM86
- ask others
K. Mani Chandy, Jayadev Misra: An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. 326-343
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/Hennessy86
- ask others
Matthew Hennessy: Proving Systolic Systems Correct. 344-387
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/Apt86
- ask others
Krzysztof R. Apt: Correctness Proofs of Distributed Termination Algorithms. 388-405

Volume 8, Number 4, October 1986

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

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/SwinehartZBH86
- ask others
Daniel C. Swinehart, Polle Zellweger, Richard J. Beach, Robert Hagemann: A Structural View of the Cedar Programming Environment. 419-490
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/CooperKT86
- ask others
Keith D. Cooper, Ken Kennedy, Linda Torczon: The Impact of Interprocedural Analysis and Optimization in the Rn Programming Environment. 491-523
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/MoriconiH86
- ask others
Mark Moriconi, Dwight F. Hare: The PegaSys System: Pictures as Formal Documentation of Large Programs. 524-546
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/BahlkeS86
- ask others
Rolf Bahlke, Gregor Snelting: The PSG System: From Formal Language Definitions to Interactive Programming Environments. 547-576
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/HorwitzT86
- ask others
Susan Horwitz, Tim Teitelbaum: Generating Editing Environments Based on Relations and Attributes. 577-608