Foundations of behavioural specification in rewriting logic.
Razvan DiaconescuPublished in: WRLA (1996)
Keyphrases
- asynchronous circuits
- linear temporal logic
- state machine
- active rules
- transition systems
- termination analysis
- artificial intelligence
- modal logic
- formal language
- logic programming
- formal specification
- operational semantics
- predicate logic
- neural network
- specification languages
- rewriting rules
- classical logic
- database
- logical framework
- query rewriting
- specification language
- rewrite rules
- automated reasoning
- programming language
- special case
- data model
- database systems
- high level