A minimal function graph semantics as a basis for abstract interpretation of higher order programs (1991)

by N D Jones
Venue:Presented at the 1991 Workshop on Static Analysis of Equational, Functional and Logic Programs