A new proof rule for almost-sure termination.
Annabelle McIverCarroll MorganBenjamin Lucien KaminskiJoost-Pieter KatoenPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- logical rules
- active rules
- termination analysis
- artificial neural networks
- theorem proving
- geometry theorem proving
- proof planning
- term rewriting
- rule discovery
- rule sets
- association rules
- integrity constraints
- active databases
- classification rules
- knowledge discovery
- rule generation
- optimal solution
- social networks
- rewrite systems
- machine learning
- real world