A Synergistic Analysis for Sharing and Groundness with Traces Linearity
No abstract available.
Related papers
- Sharing and groundness dependencies in logic programs TOPLAS 1999
- A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL CPP 2019
- A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems CPP 2021
- Logical Optimality of Groundness Analysis SAS 1997
- Parameterizing a Groundness Analysis of Logic Programs SAS 2001
- HappyJIT: a tracing JIT compiler for PHP DLS 2011
- Implementing Groundness Analysis with Definite Boolean Functions ESOP 2000
- Thread Data Sharing in Cache: Theory and Measurement PPoPP 2017