Journals in DBLP

ACM Trans. Program. Lang. Syst.
1985, volume: 7, number: 1

1. David R. Barstow
   On Convergence Toward a Database of Program Transformations. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1985, v:7, n:1, pp:1-9 [Journal]
   
2. Pamela Zave
   A Distributed Alternative to Finite-State-Machine Specifications. [Citation Graph (2, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1985, v:7, n:1, pp:10-36 [Journal]
   
3. Jean-Francois Bergeretti, Bernard Carré
   Information-Flow and Data-Flow Analysis of while-Programs. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1985, v:7, n:1, pp:37-61 [Journal]
   
4. David R. Fuchs, Donald E. Knuth
   Optimal Prepaging and Font Caching. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1985, v:7, n:1, pp:62-79 [Journal]
   
5. David Gelernter
   Generative Communication in Linda. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1985, v:7, n:1, pp:80-112 [Journal]
   
6. Joseph L. Bates, Robert L. Constable
   Proofs as Programs. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1985, v:7, n:1, pp:113-136 [Journal]
   
7. Douglas D. Dunlop, Victor R. Basili
   Generalizing Specifications for Uniformly Implemented Loops. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1985, v:7, n:1, pp:137-158 [Journal]
   
8. Joseph C. H. Park, Kwang-Moo Choe, C. H. Chang
   A New Analysis of LALR Formalisms. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1985, v:7, n:1, pp:159-175 [Journal]
   
9. David W. Wall, Amitabh Srivastava, Fred Templin
   A Note on Hennessy's "Symbolic Debugging of Optimized Code". [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1985, v:7, n:1, pp:176-181 [Journal]