|
Journals in DBLP
- Gary Lindstrom
Backtracking in a Generalized Control Setting. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1979, v:1, n:1, pp:8-26 [Journal]
- Robert B. K. Dewar, Arthur Grand, Ssu-Cheng Liu, Jacob T. Schwartz, Edmond Schonberg
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage. [Citation Graph (1, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1979, v:1, n:1, pp:27-49 [Journal]
- Richard L. Sites
The Compilation of Loop Induction Expressions. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1979, v:1, n:1, pp:50-57 [Journal]
- Carlo Ghezzi, Dino Mandrioli
Incremental Parsing. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1979, v:1, n:1, pp:58-70 [Journal]
- Edward L. Robertson
Code Generation and Storage Allocation for Machines with Span-Dependent Instructions. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1979, v:1, n:1, pp:71-83 [Journal]
- Leslie Lamport
A New Approach to Proving the Correctness of Multiprocess Programs. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1979, v:1, n:1, pp:84-97 [Journal]
- Robert L. Constable, James E. Donahue
A Hierarchial Approach to Formal Semantics With Application to the Definition of PL/CS. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1979, v:1, n:1, pp:98-114 [Journal]
- David S. Wise
Morris's Garbage Compaction Algorithm Restores Reference Counts. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1979, v:1, n:1, pp:115-120 [Journal]
- Thomas Lengauer, Robert Endre Tarjan
A Fast Algorithm for Finding Dominators in a Flowgraph. [Citation Graph (1, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1979, v:1, n:1, pp:121-141 [Journal]
- Ken Kennedy, Jayashree Ramanathan
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1979, v:1, n:1, pp:142-160 [Journal]
|