pith. sign in

Title resolution pending

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

fields

cs.PL 1

years

2019 1

verdicts

UNVERDICTED 1

representative citing papers

Provenance for Large-scale Datalog

cs.PL · 2019-07-11 · unverdicted · novelty 6.0

New provenance lattice with proof annotations and minimal-height query mechanism for debugging large-scale Datalog analyses, implemented in Souffle with 1.27x average overhead.

citing papers explorer

Showing 1 of 1 citing paper.

  • Provenance for Large-scale Datalog cs.PL · 2019-07-11 · unverdicted · none · ref 29

    New provenance lattice with proof annotations and minimal-height query mechanism for debugging large-scale Datalog analyses, implemented in Souffle with 1.27x average overhead.