Journals in DBLP

ACM Trans. Program. Lang. Syst.
1997, volume: 19, number: 3

1. Charles L. A. Clarke, Gordon V. Cormack
   On the Use of Regular Expressions for Searching Text. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1997, v:19, n:3, pp:413-426 [Journal]
   
2. Dexter Kozen
   Kleene Algebra with Tests. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1997, v:19, n:3, pp:427-443 [Journal]
   
3. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
   Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1997, v:19, n:3, pp:444-461 [Journal]
   
4. Keshav Pingali, Gianfranco Bilardi
   Optimal Control Dependence Computation and the Roman Chariots Problem. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1997, v:19, n:3, pp:462-491 [Journal]
   
5. Norman Ramsey, Mary F. Fernandez
   Specifying Representations of Machine Instructions. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1997, v:19, n:3, pp:492-524 [Journal]
   
6. Richard Gerber, Seongsoo Hong
   Slicing Real-Time Programs for Enhanced Schedulability. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1997, v:19, n:3, pp:525-555 [Journal]