Automated soundness proofs for dataflow analyses and transformations via local rules.
Sorin LernerTodd D. MillsteinErika RiceCraig ChambersPublished in: POPL (2005)
Keyphrases
- transformation rules
- rewrite rules
- semi automated
- rule sets
- association rules
- data flow
- neural network
- production rules
- automated theorem provers
- formal proofs
- parallel computing
- design methodology
- fully automated
- theorem prover
- decision rules
- association rule mining
- rule learning
- business processes
- bayesian networks
- natural deduction
- cut elimination
- decision trees
- machine learning