Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract).

Patrick Cousot Radhia Cousot Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). 33-36 1991 JTASPEFT/WSA db/conf/sas/wsa91.html#CousotC91