Cousot and Radhia Cousot. Formal language, grammar and set-constraintbased program analysis by abstract interpretation (1995)

by Patrick
Venue:In Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture