Logical Optimality of Groundness Analysis
No abstract available.
DOI 10.1007/bfb0032735
Related papers
- Parameterizing a Groundness Analysis of Logic Programs SAS 2001
- Sharing and groundness dependencies in logic programs TOPLAS 1999
- Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study PLDI 1996
- Ground Temporal Logic: A Logic for Hardware Verification CAV 1994
- Multi-Pass Execution of Functional Logic Programs POPL 1994
- Denotational Abstract Interpretation of Logic Programs TOPLAS 1994
- Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus APLAS 2021
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic JFP 2018