|
Journals in DBLP
- Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
Solving Shape-Analysis Problems in Languages with Destructive Updating. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1998, v:20, n:1, pp:1-50 [Journal]
- Paul C. Attie, E. Allen Emerson
Synthesis of Concurrent Systems with Many Similar Processes. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1998, v:20, n:1, pp:51-115 [Journal]
- Eric Dujardin, Eric Amiel, Eric Simon
Fast Algorithms for Compressed Multimethod Dispatch Table Generation. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1998, v:20, n:1, pp:116-165 [Journal]
- Andrew K. Wright, Suresh Jagannathan
Polymorphic Splitting: An Effective Polyvariant Flow Analysis. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1998, v:20, n:1, pp:166-207 [Journal]
- Michael Leuschel, Bern Martens, Danny De Schreye
Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1998, v:20, n:1, pp:208-258 [Journal]
|