@inproceedings{777fd739097c4263a2fe6c703ecb4e22,
title = "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.",
keywords = "Abstract Interpretation, Galois connection, Static Analysis, Verification",
author = "Patrick Cousot and Radhia Cousot",
year = "2014",
doi = "10.1145/2535838.2537850",
language = "English (US)",
isbn = "9781450325448",
series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",
pages = "3--4",
booktitle = "POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
note = "41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 ; Conference date: 22-01-2014 Through 24-01-2014",
}