Compositional Specification in Rewriting Logic.
Óscar MartínAlberto VerdejoNarciso Martí-OlietPublished in: Theory Pract. Log. Program. (2020)
Keyphrases
- asynchronous circuits
- formal language
- transition systems
- state machine
- linear temporal logic
- logic programming
- active rules
- specification languages
- multi valued
- specification language
- formal specification
- modal logic
- conjunctive queries
- high level
- classical logic
- termination analysis
- database systems
- predicate logic
- databases
- formal verification
- digital circuits
- rewrite rules
- computational properties
- queries using views
- deontic logic
- operational semantics
- defeasible logic
- automated reasoning
- temporal logic
- special case
- knowledge base