Iterative-free program analysis (2003)

by M Ogawa, Z Hu, I Sasano
Venue:In Proc. of Intl. Conference on Functional Programming