Skip to Main content Skip to Navigation
Conference papers

A galois connection calculus for abstract interpretation

Patrick Cousot 1, 2 Radhia Cousot 1, 3 
1 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique - ENS Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
2 CIMS - Courant Institute of Mathematical Sciences [New York]
3 LIENS - Laboratoire d'informatique de l'école normale supérieure
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.
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-00930103
Contributor : Jérôme Feret Connect in order to contact the contributor
Submitted on : Tuesday, January 14, 2014 - 12:16:38 PM
Last modification on : Thursday, March 17, 2022 - 10:08:35 AM

Identifiers

Collections

ENS-PARIS | CNRS | INRIA | INRIA2 | PSL

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

228

 

Contact                    Legal Notice                    Personal Data