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
Volume156
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)18684238

Other

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

Fingerprint

Closure

Keywords

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

ASJC Scopus subject areas

  • Information Systems and Management

Cite this

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

Basic concepts of Abstract Interpretation. / Cousot, Patrick; Cousot, Radhia.

Building the Information Society - IFIP 18th World Computer Congress Topical Sessions. Vol. 156 Springer New York LLC, 2004. p. 359-366 (IFIP Advances in Information and Communication Technology; Vol. 156).

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

Cousot, P & Cousot, R 2004, Basic concepts of Abstract Interpretation. in Building the Information Society - IFIP 18th World Computer Congress Topical Sessions. vol. 156, IFIP Advances in Information and Communication Technology, vol. 156, Springer New York LLC, pp. 359-366, IFIP 18th World Computer Congress Topical Sessions, Toulouse, France, 8/22/04.
Cousot P, Cousot R. Basic concepts of Abstract Interpretation. In Building the Information Society - IFIP 18th World Computer Congress Topical Sessions. Vol. 156. Springer New York LLC. 2004. p. 359-366. (IFIP Advances in Information and Communication Technology).
Cousot, Patrick ; Cousot, Radhia. / Basic concepts of Abstract Interpretation. Building the Information Society - IFIP 18th World Computer Congress Topical Sessions. Vol. 156 Springer New York LLC, 2004. pp. 359-366 (IFIP Advances in Information and Communication Technology).
@inproceedings{774ac370f38d453dbd7345e3cf482aa8,
title = "Basic concepts of Abstract Interpretation",
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.",
keywords = "Abstract Interpretation, Safety, Specification, Static analysis, Verification",
author = "Patrick Cousot and Radhia Cousot",
year = "2004",
language = "English (US)",
isbn = "1402081561",
volume = "156",
series = "IFIP Advances in Information and Communication Technology",
publisher = "Springer New York LLC",
pages = "359--366",
booktitle = "Building the Information Society - IFIP 18th World Computer Congress Topical Sessions",

}

TY - GEN

T1 - Basic concepts of Abstract Interpretation

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

KW - Abstract Interpretation

KW - Safety

KW - Specification

KW - Static analysis

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=38349033574&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=38349033574&partnerID=8YFLogxK

M3 - Conference contribution

SN - 1402081561

SN - 9781402081569

VL - 156

T3 - IFIP Advances in Information and Communication Technology

SP - 359

EP - 366

BT - Building the Information Society - IFIP 18th World Computer Congress Topical Sessions

PB - Springer New York LLC

ER -