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
Country/TerritoryFrance
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