%0 Conference Proceedings
%F CC77
%A Cousot, Patrick
%A Cousot, Radhia
%T Abstract interpretation: A unified lattice model for static analysis of programs by contruction or approximation of fixed points
%B Fourth ACM Symposium on Principles of Programming Languages
%C Los Angeles, California
%D 1977
%U http://www.cs.berkeley.edu/~jcondit/pl-prelim/cousot77abstract.pdf