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