Journals in DBLP

ACM Trans. Program. Lang. Syst.
2000, volume: 22, number: 1

1. Benjamin C. Pierce, David N. Turner
   Local type inference. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2000, v:22, n:1, pp:1-44 [Journal]
   
2. Wan Fokkink, Jasper Kamperman, Pum Walters
   Lazy rewriting on eager machinery. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2000, v:22, n:1, pp:45-86 [Journal]
   
3. Orna Kupferman, Moshe Y. Vardi
   An automata-theortetic approach to modular model checking. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2000, v:22, n:1, pp:87-128 [Journal]
   
4. Zhong Shao, Andrew W. Appel
   Efficient and safe-for-space closure conversion. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2000, v:22, n:1, pp:129-161 [Journal]
   
5. Thomas W. Reps
   Undecidability of context-sensitive data-independence analysis. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2000, v:22, n:1, pp:162-186 [Journal]