Reachability Analysis for Termination and Confluence of Rewriting.
Christian SternagelAkihisa YamadaPublished in: TACAS (1) (2019)
Keyphrases
- reachability analysis
- rewrite systems
- termination analysis
- active rules
- term rewriting
- markov decision processes
- model checking
- timed automata
- theorem prover
- incremental algorithms
- presburger arithmetic
- rewrite rules
- active databases
- queries using views
- query rewriting
- integrity constraints
- theorem proving
- type checking
- rewriting rules
- state space
- real time
- datalog programs
- deductive databases
- conjunctive queries
- dynamic programming
- natural language