A Tree-Based Approach to Data Flow Proofs.

Jochen Hoenicke Alexander Nutz Andreas Podelski

Published in: VSTTE (2018)

Keyphrases

data flow
database machine
control flow
tree structure
digital signal processing
systolic array
object oriented software
theorem proving
data transfer
tree structures
object oriented
spanning tree
b tree
image processing
databases
database
binary tree
database management systems
tree nodes