Static determination of dynamic properties of recursive procedures (1977)

by P Cousot, R Cousot
Venue:IFIP Conf. on Formal Description of Programming Concepts, St-Andrews, N.B., CA