Conference ProceedingsOPEN ACCESS

Basic concepts of Abstract Interpretation

IFIP Advances in Information and Communication Technology (2004) 156 359-366
DOI: 10.1007/978-1-4020-8157-6_27
54Citations
Citations of this article
50Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

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.

Author supplied keywords

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free