Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract)
Patrick M. Cousot, Radhia Cousot · 1991
We propose a method for the separate static analysis of higher-order functions and procedures using relational abstract domains as opposed to the abstraction of functions by functions on abstract values (as in minimal function graphs).