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

Patrick Cousot, Radhia Cousot

Browse the full SAS paper archive.