Relational Abstract Interpretation of Higher-Order Functional Programs (Extended Abstract) (1991)

by Patrick Cousot , Radhia Cousot
Citations:4 - 1 self