Declarative debugging of rewriting logic specifications.
Adrián RiescoAlberto VerdejoNarciso Martí-OlietRafael CaballeroPublished in: J. Log. Algebraic Methods Program. (2012)
Keyphrases
- delay insensitive
- attribute grammars
- asynchronous circuits
- high level
- transition systems
- rule engine
- bounded model checking
- predicate logic
- logic programming
- modal logic
- control flow
- logical formulas
- classical logic
- operational semantics
- rewriting rules
- declarative semantics
- knowledge representation
- formal language
- formal specification
- domain independent
- logical framework
- query rewriting
- probability theory
- software testing
- finite state machines
- logic programs
- queries using views
- order sorted