Parameterizing a Groundness Analysis of Logic Programs
Abstract elided by the publisher.
Related papers
- Logical Optimality of Groundness Analysis SAS 1997
- Sharing and groundness dependencies in logic programs TOPLAS 1999
- Ground Temporal Logic: A Logic for Hardware Verification CAV 1994
- Multi-Pass Execution of Functional Logic Programs POPL 1994
- Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study PLDI 1996
- Denotational Abstract Interpretation of Logic Programs TOPLAS 1994
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic JFP 2018
- A Synergistic Analysis for Sharing and Groundness with Traces Linearity ESOP 1994