A Tutorial on Domain Theory in Abstract Interpretation
Abstract elided by the publisher.
Related papers
- A Tutorial on Satisfiability Modulo Theories CAV 2007
- The lambda calculus is algebraic JFP 2002
- Property-directed reachability as abstract interpretation in the monotone theory POPL 2022
- A tutorial on computational classical logic and the sequent calculus JFP 2018
- Infinite Games and Verification (Extended Abstract of a Tutorial) CAV 2002
- Methods for Mu-calculus Model Checking: A Tutorial (Abstract) CAV 1995
- Thread-Modular Analysis of Release-Acquire Concurrency SAS 2021
- Semantic Parallelization: A Practical Exercise in Abstract Interpretation POPL 1987