Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications.
Masaki NakamuraKazuhiro OgataKokichi FutatsugiPublished in: Specification, Algebra, and Software (2014)
Keyphrases
- control flow
- rewrite systems
- active rules
- data flow
- term rewriting
- formal proofs
- termination analysis
- theorem prover
- theorem proving
- equational theories
- incremental learning
- function symbols
- databases
- data sets
- incremental version
- decision procedures
- data quality
- expert systems
- neural network
- functional requirements
- formal specification
- data driven
- e learning
- real time