On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract)
Abstract elided by the publisher.
Related papers
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- Build systems à la carte: Theory and practice JFP 2020
- Gradual type-and-effect systems JFP 2016
- Semantic Parallelization: A Practical Exercise in Abstract Interpretation POPL 1987
- Lexical Profiling: Theory and Practice JFP 1995
- Denotational Abstract Interpretation of Logic Programs TOPLAS 1994
- A theory of gradual effect systems ICFP 2014
- Full functional verification of linked data structures PLDI 2008