A Galois connection calculus for abstract interpretation

Patrick Cousot, Radhia Cousot

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

Abstract

We introduce a Galois connection calculus for language independent specification of abstract interpretations used in programming language semantics, formal verification, and static analysis. This Galois connection calculus and its type system are typed by abstract interpretation.

Original languageEnglish (US)
Title of host publicationPOPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Pages3-4
Number of pages2
DOIs
StatePublished - 2014
Event41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 - San Diego, CA, United States
Duration: Jan 22 2014Jan 24 2014

Other

Other41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014
CountryUnited States
CitySan Diego, CA
Period1/22/141/24/14

Keywords

  • Abstract Interpretation
  • Galois connection
  • Static Analysis
  • Verification

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'A Galois connection calculus for abstract interpretation'. Together they form a unique fingerprint.

  • Cite this

    Cousot, P., & Cousot, R. (2014). A Galois connection calculus for abstract interpretation. In POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (pp. 3-4) https://doi.org/10.1145/2535838.2537850