Journals in DBLP
ACM Comput. Surv.
1986, volume: 18, number: 3
- Ali Mili, Jules Desharnais
Formal Models of Stepwise Refinement of Programs. [Citation Graph (0, 0)][DBLP]
ACM Comput. Surv., 1986, v:18, n:3, pp:231-276 [Journal] - Barbara G. Ryder, Marvin C. Paull
Elimination Algorithms for Data Flow Analysis. [Citation Graph (1, 0)][DBLP]
ACM Comput. Surv., 1986, v:18, n:3, pp:277-316 [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