Journals in DBLP

ACM Trans. Program. Lang. Syst.
1993, volume: 15, number: 1

1. Gerard Tel, Friedemann Mattern
   The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1993, v:15, n:1, pp:1-35 [Journal]
   
2. Rance Cleaveland, Joachim Parrow, Bernhard Steffen
   The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. [Citation Graph (1, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1993, v:15, n:1, pp:36-72 [Journal]
   
3. Martín Abadi, Leslie Lamport
   Composing Specifications. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1993, v:15, n:1, pp:73-132 [Journal]
   
4. Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi
   A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1993, v:15, n:1, pp:133-181 [Journal]
   
5. Yehuda Afek, Geoffrey M. Brown, Michael Merritt
   Lazy Caching. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1993, v:15, n:1, pp:182-205 [Journal]
   
6. Alan Finlay, Lloyd Allison
   A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1993, v:15, n:1, pp:206-208 [Journal]