Journals in DBLP

ACM Trans. Program. Lang. Syst.
1980, volume: 2, number: 1

1. David Harel
   And/Or Programs: A New Approach to Structured Programming. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1980, v:2, n:1, pp:1-17 [Journal]
   
2. Ajit B. Pai, Richard B. Kieburtz
   Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1980, v:2, n:1, pp:18-41 [Journal]
   
3. Nissim Francez
   Distributed Termination. [Citation Graph (4, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1980, v:2, n:1, pp:42-55 [Journal]
   
4. Gregory R. Andrews, Richard P. Reitman
   An Axiomatic Approach to Information Flow in Programs. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1980, v:2, n:1, pp:56-76 [Journal]
   
5. Christos H. Papadimitriou, Philip A. Bernstein
   On the Performance of Balanced Hashing Functions When the Keys Are Not Equiprobable. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1980, v:2, n:1, pp:77-89 [Journal]
   
6. Zohar Manna, Richard J. Waldinger
   A Deductive Approach to Program Synthesis. [Citation Graph (5, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1980, v:2, n:1, pp:90-121 [Journal]
   
7. D. B. Arnold, M. Ronan Sleep
   Uniform Random Generation of Balanced Parenthesis Strings. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1980, v:2, n:1, pp:122-128 [Journal]
   
8. Douglas Comer
   A Note on Median Split Trees. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1980, v:2, n:1, pp:129-133 [Journal]