Declarative Debugging of Rewriting Logic Specifications.
Adrián RiescoAlberto VerdejoRafael CaballeroNarciso Martí-OlietPublished in: WADT (2008)
Keyphrases
- delay insensitive
- attribute grammars
- asynchronous circuits
- bounded model checking
- high level
- modal logic
- transition systems
- knowledge representation
- operational semantics
- conjunctive queries
- logic programming
- formal specification
- automated reasoning
- model checker
- execution traces
- rewrite rules
- rule engine
- formal language
- formal verification
- recursive programs
- concurrent systems
- rewriting rules
- logical formulas
- novice programmers
- declarative semantics
- java programs
- specification language
- multi valued
- temporal logic
- programming language
- database systems