Journals in DBLP

ACM Trans. Program. Lang. Syst.
1999, volume: 21, number: 4

1. Somnath Ghosh, Margaret Martonosi, Sharad Malik
   Cache miss equations: a compiler framework for analyzing and tuning memory behavior. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1999, v:21, n:4, pp:703-746 [Journal]
   
2. Tevfik Bultan, Richard Gerber, William Pugh
   Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1999, v:21, n:4, pp:747-789 [Journal]
   
3. Matthias Blume
   Dependency analysis for Standard ML. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1999, v:21, n:4, pp:790-812 [Journal]
   
4. Matthias Blume, Andrew W. Appel
   Hierarchical modularity. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1999, v:21, n:4, pp:813-847 [Journal]
   
5. Michael Hind, Michael G. Burke, Paul R. Carini, Jong-Deok Choi
   Interprocedural pointer alias analysis. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1999, v:21, n:4, pp:848-894 [Journal]