Detecting Determinate Computations by Bottom-up Abstract Interpretation
Abstract elided by the publisher.
Related papers
- A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs TOPLAS 1993
- Computing Bottom SCCs Symbolically Using Transition Guided Reduction CAV 2021
- Fast Symbolic Computation of Bottom SCCs TACAS 2024
- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law ESOP 2024
- A One-Pass Algorithm for Overload Resolution in Ada TOPLAS 1982
- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation ESOP 2024
- Abstract conflict driven learning POPL 2013
- Bottom-up computation using trees of sublists JFP 2024