Sign in

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

Bishoksan KafleJohn P. Gallagher
Published in: VMCAI (2015)
Keyphrases
  • context aware
  • contextual information
  • horn clauses
  • database
  • data sets
  • binary tree
  • logic programs
  • index structure
  • tree structure