Basic concepts of Abstract Interpretation

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationBuilding the Information Society - IFIP 18th World Computer Congress Topical Sessions
PublisherSpringer New York LLC
Pages359-366
Number of pages8
ISBN (Print)1402081561, 9781402081569
StatePublished - 2004
EventIFIP 18th World Computer Congress Topical Sessions - Toulouse, France
Duration: Aug 22 2004Aug 27 2004

Publication series

NameIFIP Advances in Information and Communication Technology
Volume156
ISSN (Print)1868-4238

Other

OtherIFIP 18th World Computer Congress Topical Sessions
CountryFrance
CityToulouse
Period8/22/048/27/04

Keywords

  • Abstract Interpretation
  • Safety
  • Specification
  • Static analysis
  • Verification

ASJC Scopus subject areas

  • Information Systems
  • Computer Networks and Communications
  • Information Systems and Management

Fingerprint Dive into the research topics of 'Basic concepts of Abstract Interpretation'. Together they form a unique fingerprint.

  • Cite this

    Cousot, P., & Cousot, R. (2004). Basic concepts of Abstract Interpretation. In Building the Information Society - IFIP 18th World Computer Congress Topical Sessions (pp. 359-366). (IFIP Advances in Information and Communication Technology; Vol. 156). Springer New York LLC.