Automated Verification of Higher-Order Functional Programs.
Tachio TerauchiPublished in: FLOPS (2012)
Keyphrases
- automated verification
- functional programs
- higher order
- model checking
- automated reasoning
- term rewriting systems
- formal verification
- lazy evaluation
- logic programs
- functional language
- stochastic grammar
- pairwise
- temporal logic
- markov random field
- functional programming
- database
- programming language
- xml documents
- machine learning