Journals in DBLP

ACM Trans. Program. Lang. Syst.
1979, volume: 1, number: 2

1. Kenneth E. Iverson
   Operators. [Citation Graph (3, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1979, v:1, n:2, pp:161-176 [Journal]
   
2. Ronald H. Perrott
   A Language for Array and Vector Processors. [Citation Graph (1, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1979, v:1, n:2, pp:177-195 [Journal]
   
3. Noah S. Prywes, Amir Pnueli, S. Shastry
   Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1979, v:1, n:2, pp:196-217 [Journal]
   
4. Richard B. Kieburtz, Abraham Silberschatz
   Comments on ``Communicating Sequential Processes''. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1979, v:1, n:2, pp:218-225 [Journal]
   
5. David C. Luckham, Norihisa Suzuki
   Verification of Array, Record, and Pointer Operations in Pascal. [Citation Graph (1, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1979, v:1, n:2, pp:226-244 [Journal]
   
6. Greg Nelson, Derek C. Oppen
   Simplification by Cooperating Decision Procedures. [Citation Graph (2, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1979, v:1, n:2, pp:245-257 [Journal]
   
7. David Gries
   Is Sometimes Ever Better Than Alway? [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1979, v:1, n:2, pp:258-265 [Journal]
   
8. Daniel G. Bobrow, Douglas W. Clark
   Compact Encodings of List Structure. [Citation Graph (1, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1979, v:1, n:2, pp:266-286 [Journal]
   
9. Eric Beyer, Peter Buneman
   A Space Efficient Dynamic Allocation Algorithm for Queuing Messages. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1979, v:1, n:2, pp:287-294 [Journal]
   
10. Kuo-Chung Tai
    Noncanonical SLR(1) Grammars. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1979, v:1, n:2, pp:295-320 [Journal]