Verification of tree-processing programs via higher-order mode checking.
Hiroshi UnnoNaoshi TabuchiNaoki KobayashiPublished in: Math. Struct. Comput. Sci. (2015)
Keyphrases
- higher order
- verification method
- tree structure
- pairwise
- data processing
- tree traversal
- real time
- symbolic execution
- high order
- natural images
- binary tree
- information processing
- index structure
- multi dimensional
- asynchronous circuits
- object oriented
- lambda calculus
- hierarchical structure
- b tree
- tree structures
- bayesian networks
- hardware designs
- neural network