Section: New Results

A Galois Connection Calculus for Abstract Interpretation

Participants : Patrick Cousot, Radhia Cousot.

Keywords: Abstract interpretation, Galois connection.

In [10] , 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.