default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM 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 - Stefan M. Freudenberger, Jacob T. Schwartz, Micha Sharir:
Experience with the SETL Optimizer. 26-45 - Gary L. Peterson:
Concurrent Reading While Writing. 46-55 - Gary L. Peterson:
A New Solution to Lamport's Concurrent Programming Problem Using Small Shared Variables. 56-65 - Robert G. Gallager, Pierre A. Humblet, Philip M. Spira:
A Distributed Algorithm for Minimum-Weight Spanning Trees. 66-77 - Richard B. Kieburtz, Abraham Silberschatz:
Access-Right Expressions. 78-96 - Samuel N. Kamin:
Final Data Types and Their Specification. 97-123
Volume 5, Number 2, April 1983
- Steven P. Reiss:
Generation of Compiler Symbol Processing Mechanisms. 127-163 - Allan Gottlieb
, Boris D. Lubachevsky, Larry Rudolph:
Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors. 164-189 - Leslie Lamport:
Specifying Concurrent Program Modules. 190-222 - Gael N. Buckley, Abraham Silberschatz:
An Effective Implementation for the Generalized Input-Output Construct of CSP. 223-235 - B. Maher, Derek H. Sleeman:
Automatic Program Improvement: Variable Usage Transformations. 236-264
Volume 5, Number 3, July 1983
- Norman H. Cohen:
Eliminating Redundant Recursive Calls. 265-299 - Eliezer Dekel, Sartaj Sahni:
Parallel Generation of Postfix and Tree Forms. 300-317 - Harald Ganzinger:
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability. 318-354 - Sergiu Hart, Micha Sharir, Amir Pnueli:
Termination of Probabilistic Concurrent Program. 356-380 - Barbara Liskov, Robert Scheifler:
Guardians and Actions: Linguistic Support for Robust, Distributed Programs. 381-404 - Richard J. Lipton, Jacobo Valdes, Gopalakrishnan Vijayan, Stephen C. North, Robert Sedgewick:
VLSI Layout as Programming. 405-421 - John L. Hennessy, Thomas R. Gross:
Postpass Code Optimization of Pipeline Constraints. 422-448 - Thomas W. Reps, Tim Teitelbaum, Alan J. Demers:
Incremental Context-Dependent Analysis for Language-Based Editors. 449-477 - Robert Giegerich:
A Formal Framework for the Derivation of Machine-Specific Optimizers. 478-498
Volume 5, Number 4, October 1983
- Richard C. Waters:
User Format Control in a Lisp Prettyprinter. 513-531 - Jacques Cohen, Alexandru Nicolau:
Comparison of Compacting Algorithms for Garbage Collection. 532-553 - Ravi Sethi:
Control Flow Aspects of Semantics-Directed Compiling. 554-595 - Cliff B. Jones:
Tentative Steps Toward a Development Method for Interfering Programs. 596-619 - Marty Ossefort:
Correctness Proofs of Communicating Processes: Three Illustrative Examples from the Literature. 620-640 - Elaine J. Weyuker:
Assessing Test Data Adequacy through Program Inference. 641-655 - Seppo Sippu, Eljas Soisalon-Soininen:
A Syntax-Error-Handling Technique and Its Experimental Analysis. 656-679
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-12 01:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
