Original language | English (US) |
---|---|
Title of host publication | Conference Record of the 4th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, CA |
Publisher | ACM |
Pages | 238-252 |
State | Published - 1977 |
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
Patrick Cousot, Radhia Cousot
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution