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 de l'École normale supérieure, 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.
Type de document :
Communication dans un congrès
Suresh Jagannathan and Peter Sewell. POPL - 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2014, Jan 2014, San Diego, United States. ACM, pp.3-4, 2014, POPL'14. 〈10.1145/2535838.2537850〉
Liste complète des métadonnées
https://hal.inria.fr/hal-00930103
Contributeur : Jérôme Feret <>
Soumis le : mardi 14 janvier 2014 - 12:16:38
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Identifiants

Collections

INRIA | ENS-PARIS | PSL | INRIA-ROCQ

Citation

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

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

327

Contact


archive-ouverte@inria.fr