Journals in DBLP

ACM Trans. Program. Lang. Syst.
1981, volume: 3, number: 4

1. Alan Borning
   The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory. [Citation Graph (6, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1981, v:3, n:4, pp:353-387 [Journal]
   
2. Mehdi Jazayeri, Diane Pozefsky
   Space-Efficient Storage Management in an Attribute Grammar Evaluator. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1981, v:3, n:4, pp:388-404 [Journal]
   
3. Gregory R. Andrews
   Synchronizing Resources. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1981, v:3, n:4, pp:405-430 [Journal]
   
4. Krzysztof R. Apt
   Ten Years of Hoare's Logic: A Survey - Part 1. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1981, v:3, n:4, pp:431-483 [Journal]
   
5. Irene Greif, Albert R. Meyer
   Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer. [Citation Graph (1, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1981, v:3, n:4, pp:484-507 [Journal]
   
6. Wilfred J. Hansen
   A Cost Model for the Internal Organization of B+-Tree Nodes. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1981, v:3, n:4, pp:508-532 [Journal]