Tree Automata-Based Refinement with Application to Horn Clause Verification.

Bishoksan Kafle John P. Gallagher

Published in: VMCAI (2015)

Keyphrases

context aware
contextual information
horn clauses
database
data sets
binary tree
logic programs
index structure
tree structure