default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Programming Languages and Systems (TOPLAS), Volume 7
Volume 7, Number 1, January 1985
- David R. Barstow:
On Convergence Toward a Database of Program Transformations. 1-9 - Pamela Zave:
A Distributed Alternative to Finite-State-Machine Specifications. 10-36 - Jean-Francois Bergeretti, Bernard Carré:
Information-Flow and Data-Flow Analysis of while-Programs. 37-61 - David R. Fuchs, Donald E. Knuth:
Optimal Prepaging and Font Caching. 62-79 - David Gelernter:
Generative Communication in Linda. 80-112 - Joseph L. Bates, Robert L. Constable:
Proofs as Programs. 113-136 - Douglas D. Dunlop, Victor R. Basili:
Generalizing Specifications for Uniformly Implemented Loops. 137-158 - Joseph C. H. Park, Kwang-Moo Choe, C. H. Chang:
A New Analysis of LALR Formalisms. 159-175 - David W. Wall, Amitabh Srivastava, Fred Templin:
A Note on Hennessy's "Symbolic Debugging of Optimized Code". 176-181
Volume 7, Number 2, April 1985
- Jan Heering, Paul Klint:
Towards Monolingual Programming Environments. 183-213 - Shaula Yemini, Daniel M. Berry:
A Modular Verifiable Exception-Handling Mechanism. 214-243 - William E. Weihl, Barbara Liskov:
Implementation of Resilient, Atomic Data Types. 244-269 - George J. Milne
:
Circal and the Representation of Communication, Concurrency, and Time. 270-298 - David A. Schmidt:
Detecting Global Variables in Denotational Specifications. 299-310 - Keshav Pingali, Arvind:
Efficient Demand-Driven Evaluation - Part 1. 311-333 - Giuseppina C. Gini, Maria L. Gini:
Dealing with World-Model-Based Programs. 334-347 - Ilan Bar-On, Uzi Vishkin:
Optimal Parallel Generation of a Computation Tree Form. 348-357
Volume 7, Number 3, July 1985
- Flemming Nielson:
Program Transformations in a Denotational Setting. 359-379 - George S. Avrunin, Jack C. Wileden:
Describing and Analyzing Distributed Software System Designs. 380-403 - David R. Jefferson:
Virtual Time. 404-425 - James E. Donahue, Alan J. Demers:
Data Types Are Values. 426-445 - Nachum Dershowitz:
Program Abstraction and Instantiation. 446-477 - Helmut Richter:
Noncorrecting Syntax Error Recovery. 478-489 - Richard S. Bird:
Addendum to "The Promotion and Accumulation Strategies in Transformational Programming". ACM Trans. Program. Lang. Syst. 7(3): 490-492 (1985)
Volume 7, Number 4, October 1985
- Robert H. Halstead Jr.:
Multilisp: A Language for Concurrent Symbolic Computation. 501-538 - Malcolm P. Atkinson, Ronald Morrison:
Procedures as Persistent Data Objects. 539-559 - Mahadevan Ganapathi, Charles N. Fischer:
Affix Grammar Driven Code Generation. 560-599 - Robert P. Nix:
Editing by Example. 600-621 - Nissim Francez, Shaula Yemini:
Symmetric Intertask Communication. 622-636 - Hans-Juergen Boehm:
Side Effects and Aliasing Can Have Simple Axiomatic Descriptions. 637-655 - Arie de Bruin, A. P. Wim Böhm:
The Denotational Semantics of Dynamic Networks of Processes. 656-679 - Alberto Pettorossi:
A Note on Cohen's "Eliminating Redundant Recursive Calls". 680-685
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-04 01:29 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:
