Journals in DBLP

ACM Trans. Program. Lang. Syst.
1982, volume: 4, number: 4

1. Maurice Herlihy, Barbara Liskov
   A Value Transmission Method for Abstract Data Types. [Citation Graph (1, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:527-551 [Journal]
   
2. Richard C. Holt, David B. Wortman
   A Model for Implementing Euclid Modules and Prototypes. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:552-562 [Journal]
   
3. Ralph E. Griswold
   The Evaluation of Expressions in Icon. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:563-584 [Journal]
   
4. J. Bergeron, A. Dubuque
   A Structured APL System. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:585-600 [Journal]
   
5. Theodore P. Baker
   A One-Pass Algorithm for Overload Resolution in Ada. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:601-614 [Journal]
   
6. Frank DeRemer, Thomas J. Pennello
   Efficient Computation of LALR(1) Look-Ahead Sets. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:615-649 [Journal]
   
7. Robert B. K. Dewar, Micha Sharir, Elia Weixelbaum
   Transformational Derivation of a Garbage Collection Algorithm. [Citation Graph (1, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:650-667 [Journal]
   
8. H. J. Boom
   A Weaker Precondition for Loops. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:668-677 [Journal]
   
9. Jayadev Misra, K. Mani Chandy
   A Distributed Graph Algorithm: Knot Detection. [Citation Graph (2, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:678-686 [Journal]
   
10. William R. Mallgren
    Formal Specification of Graphic Data Types. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:687-710 [Journal]
    
11. James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Data Type Specification: Parameterization and the Power of Specification Techniques. [Citation Graph (3, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:711-732 [Journal]
    
12. John H. Williams
    On the Development of the Algebra of Functional Programs. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:733-757 [Journal]
    
13. Gary L. Peterson
    An O(n log n) Unidirectional Algorithm for the Circular Extrema Problem. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:758-762 [Journal]