Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints #12
skyleaworlder
started this conversation in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
https://dl.acm.org/doi/pdf/10.1145/512950.512973
Patrick Cousot* and Radhia Cousot**
Laboratoire d’Informatique, U.S.M.G., BP. 53
38041 Grenoble cedex, France
from https://scholar.google.com/scholar
Beta Was this translation helpful? Give feedback.
All reactions