R.: Relational abstract interpretation of higher-order functional programs (1991)

by P Cousot, Cousot
Venue:In: JTASPEFL 1991, Bordeaux. BIGRE