ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 5 Issue 3, July 1983

Eliminating Redundant Recursive Calls.
Norman H. Cohen
Pages: 265-299
DOI: 10.1145/2166.2167

Parallel Generation of Postfix and Tree Forms
Eliezer Dekel, Sartaj Sahni
Pages: 300-317
DOI: 10.1145/2166.357211

Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
Harald Ganzinger
Pages: 318-354
DOI: 10.1145/2166.357212

Guest Editor's Introduction
Richard A. DeMillo
Page: 355
DOI: 10.1145/2166.357213

Termination of Probabilistic Concurrent Program
Sergiu Hart, Micha Sharir, Amir Pnueli
Pages: 356-380
DOI: 10.1145/2166.357214

Guardians and Actions: Linguistic Support for Robust, Distributed Programs
Barbara Liskov, Robert Scheifler
Pages: 381-404
DOI: 10.1145/2166.357215

VLSI Layout as Programming
Richard J. Lipton, Jacobo Valdes, Gopalakrishnan Vijayan, Stephen C. North, Robert Sedgewick
Pages: 405-421
DOI: 10.1145/2166.357216

Postpass Code Optimization of Pipeline Constraints
John L. Hennessy, Thomas Gross
Pages: 422-448
DOI: 10.1145/2166.357217

Incremental Context-Dependent Analysis for Language-Based Editors
Thomas Reps, Tim Teitelbaum, Alan Demers
Pages: 449-477
DOI: 10.1145/2166.357218

A Formal Framework for the Derivation of Machine-Specific Optimizers
Robert Giegerich
Pages: 478-498
DOI: 10.1145/2166.357219

Technical Correspondence: On Tanenbaum, van Staveren, and Stevenson's ``Using Peephole Optimization on Intermediate Code''
Steven Pemberton
Pages: 499-500
DOI: 10.1145/2166.357220

Technical Correspondence: On Apt, Francez, and de Roever's ``A Proof System for Communicating Sequential Processes''
Abha Moitra
Pages: 500-501
DOI: 10.1145/2166.357222

ACM Algorithms Policy
F. T. Krogh
Pages: 502-505
DOI: 10.1145/2166.357223