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.
| Original language | English (US) |
|---|---|
| Title of host publication | POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages |
| Pages | 3-4 |
| Number of pages | 2 |
| DOIs | |
| State | Published - 2014 |
| Event | 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 - San Diego, CA, United States Duration: Jan 22 2014 → Jan 24 2014 |
Other
| Other | 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 |
|---|---|
| Country/Territory | United States |
| City | San Diego, CA |
| Period | 1/22/14 → 1/24/14 |
Keywords
- Abstract Interpretation
- Galois connection
- Static Analysis
- Verification
ASJC Scopus subject areas
- Computer Science(all)