An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction
Abstract elided by the publisher.
Related papers
- Trace-based control-flow analysis PLDI 2021
- Foundations for Entailment Checking in Quantitative Separation Logic ESOP 2022
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020
- Reducing Static Analysis Unsoundness with Approximate Interpretation PLDI 2024
- Temporal Abstract Interpretation POPL 2000
- Logic-flow analysis of higher-order programs POPL 2007
- Interpretable noninterference measurement and its application to processor designs OOPSLA 2021
- A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation VMCAI 2023