Weakly-Synchronized Ground Tree Rewriting - (with Applications to Verifying Multithreaded Programs).

Anthony Widjaja Lin

Published in: MFCS (2012)

Keyphrases

tree traversal
tree structure
tree construction
hierarchical structure
computer programs
magic sets
index structure
b tree
spanning tree
deductive databases
neural network
tree structures
binary tree
datalog programs
model checking
rewrite rules
mutual exclusion
relational databases