Iterative-free program analysis.

Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano

Browse the full ICFP paper archive.