A brief introduction to the theory of Abstract Interpretation, examplified by constructing a hierarchy of partial traces, reflexive transitive closure, reachable states and intervals abstract semantics of transition systems. © 2004 Springer Science + Business Media, Inc.
CITATION STYLE
Cousot, P., & Cousot, R. (2004). Basic concepts of Abstract Interpretation. In IFIP Advances in Information and Communication Technology (Vol. 156, pp. 359–366). Springer New York LLC. https://doi.org/10.1007/978-1-4020-8157-6_27
Mendeley helps you to discover research relevant for your work.