A Comparison of Three Occur-Check Analysers
Abstract elided by the publisher.
Related papers
- Comparing Solver Representations for Analyzing Cardinality-Based Feature Models GPCE 2026
- A comparison of product-based, feature-based, and family-based type checking GPCE 2013
- Automated Analyses of IOT Event Monitoring Systems CAV 2023
- Eventually Sound Points-To Analysis with Specifications ECOOP 2019
- Lightweight fault detection in parallelized programs CGO 2013
- Faster Statistical Model Checking for Unbounded Temporal Properties TACAS 2016
- A comparison of PASCAL intermediate languages PLDI 1979
- An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction ESOP 1986