Two approaches to interprocedural data flow analysis.
By: By Micha Sharir and Amir Pnueli.
Contributors: Pnueli, A.
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1978
Place of publication: New York
Language: eng