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

Volume 5, Number 1, January 1983

• Philip M. Merlin, Gregor von Bochmann: On the Construction of Submodule Specifications and Communication Protocols. 1-25 BibTeX
• Stefan M. Freudenberger, Jacob T. Schwartz, Micha Sharir: Experience with the SETL Optimizer. 26-45 BibTeX
• Gary L. Peterson: Concurrent Reading While Writing. 46-55 BibTeX
• Gary L. Peterson: A New Solution to Lamport's Concurrent Programming Problem Using Small Shared Variables. 56-65 BibTeX
• Robert G. Gallager, Pierre A. Humblet, Philip M. Spira: A Distributed Algorithm for Minimum-Weight Spanning Trees. 66-77 BibTeX
• Richard B. Kieburtz, Abraham Silberschatz: Access-Right Expressions. 78-96 BibTeX
• Samuel N. Kamin: Final Data Types and Their Specification. 97-123 BibTeX

Volume 5, Number 2, April 1983

• Steven P. Reiss: Generation of Compiler Symbol Processing Mechanisms. 127-163 BibTeX
• Allan Gottlieb, Boris D. Lubachevsky, Larry Rudolph: Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors. 164-189 BibTeX
• Leslie Lamport: Specifying Concurrent Program Modules. 190-222 BibTeX
• Gael N. Buckley, Abraham Silberschatz: An Effective Implementation for the Generalized Input-Output Construct of CSP. 223-235 BibTeX
• B. Maher, Derek H. Sleeman: Automatic Program Improvement: Variable Usage Transformations. 236-264 BibTeX

Volume 5, Number 3, July 1983

• Norman H. Cohen: Eliminating Redundant Recursive Calls. 265-299 BibTeX
• Eliezer Dekel, Sartaj Sahni: Parallel Generation of Postfix and Tree Forms. 300-317 BibTeX
• Harald Ganzinger: Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability. 318-354 BibTeX
• Sergiu Hart, Micha Sharir, Amir Pnueli: Termination of Probabilistic Concurrent Program. 356-380 BibTeX
• Barbara Liskov, Robert Scheifler: Guardians and Actions: Linguistic Support for Robust, Distributed Programs. 381-404 BibTeX
• Richard J. Lipton, Jacobo Valdes, Gopalakrishnan Vijayan, Stephen C. North, Robert Sedgewick: VLSI Layout as Programming. 405-421 BibTeX
• John L. Hennessy, Thomas R. Gross: Postpass Code Optimization of Pipeline Constraints. 422-448 BibTeX
• Thomas W. Reps, Tim Teitelbaum, Alan J. Demers: Incremental Context-Dependent Analysis for Language-Based Editors. 449-477 BibTeX
• Robert Giegerich: A Formal Framework for the Derivation of Machine-Specific Optimizers. 478-498 BibTeX

Volume 5, Number 4, October 1983

• Richard C. Waters: User Format Control in a Lisp Prettyprinter. 513-531 BibTeX
• Jacques Cohen, Alexandru Nicolau: Comparison of Compacting Algorithms for Garbage Collection. 532-553 BibTeX
• Ravi Sethi: Control Flow Aspects of Semantics-Directed Compiling. 554-595 BibTeX
• Cliff B. Jones: Tentative Steps Toward a Development Method for Interfering Programs. 596-619 BibTeX
• Marty Ossefort: Correctness Proofs of Communicating Processes: Three Illustrative Examples from the Literature. 620-640 BibTeX
• Elaine J. Weyuker: Assessing Test Data Adequacy through Program Inference. 641-655 BibTeX
• Seppo Sippu, Eljas Soisalon-Soininen: A Syntax-Error-Handling Technique and Its Experimental Analysis. 656-679 BibTeX