A galois connection calculus for abstract interpretation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

A galois connection calculus for abstract interpretation

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.

Domains

Other [cs.OH]
No file

Dates and versions

hal-00930103 , version 1 (14-01-2014)

Identifiers

Cite

Patrick Cousot, Radhia Cousot. A galois connection calculus for abstract interpretation. POPL - 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2014, Suresh Jagannathan and Peter Sewell, Jan 2014, San Diego, United States. pp.3-4, ⟨10.1145/2535838.2537850⟩. ⟨hal-00930103⟩
238 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More