Journals in DBLP

ACM Trans. Program. Lang. Syst.
1986, volume: 8, number: 3

1. Walter F. Tichy
   Smart Recompilation. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1986, v:8, n:3, pp:273-291 [Journal]
   
2. Valentin F. Turchin
   The Concept of a Supercompiler. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1986, v:8, n:3, pp:292-325 [Journal]
   
3. K. Mani Chandy, Jayadev Misra
   An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. [Citation Graph (4, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1986, v:8, n:3, pp:326-343 [Journal]
   
4. Matthew Hennessy
   Proving Systolic Systems Correct. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1986, v:8, n:3, pp:344-387 [Journal]
   
5. Krzysztof R. Apt
   Correctness Proofs of Distributed Termination Algorithms. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1986, v:8, n:3, pp:388-405 [Journal]