Journals in DBLP
ACM Trans. Program. Lang. Syst.
2002, volume: 24, number: 3
- J. Strother Moore, George Porter
The apprentice challenge. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 2002, v:24, n:3, pp:193-216 [Journal] - Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
Parametric shape analysis via 3-valued logic. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 2002, v:24, n:3, pp:217-298 [Journal]
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002