Journals in DBLP

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

1. Paul Havlak
   Nesting of Reducible and Irreducible Loops. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1997, v:19, n:4, pp:557-567 [Journal]
   
2. Saumya K. Debray, Todd A. Proebsting
   Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1997, v:19, n:4, pp:568-585 [Journal]
   
3. Peter T. Breuer, Carlos Delgado Kloos, Andrés Marín López, Natividad Martínez Madrid, Luis Sánchez Fernández
   A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1997, v:19, n:4, pp:585-616 [Journal]
   
4. E. Allen Emerson, A. Prasad Sistla
   Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1997, v:19, n:4, pp:617-638 [Journal]