Maude: specification and programming in rewriting logic.
Manuel ClavelFrancisco DuránSteven EkerPatrick LincolnNarciso Martí-OlietJosé MeseguerJose F. QuesadaPublished in: Theor. Comput. Sci. (2002)
Keyphrases
- formal specification
- asynchronous circuits
- programming language
- reactive systems
- operational semantics
- state machine
- formal language
- specification language
- transition systems
- linear temporal logic
- modal logic
- active rules
- classical logic
- multi valued
- logic programming
- automated reasoning
- predicate logic
- model checking
- general purpose
- exception handling
- proof theory
- query rewriting
- termination analysis
- formal methods
- code generation
- logic programs
- programming environment
- deductive databases
- rewrite rules
- programming course
- rewriting rules
- formal verification
- logical framework
- equational theories