Prototyping 3APL in the Maude term rewriting language.

M. Birna van Riemsdijk Frank S. de Boer Mehdi Dastani John-Jules Ch. Meyer

Published in: AAMAS (2006)

Keyphrases

term rewriting
operational semantics
theorem proving
theorem prover
formal semantics
knuth bendix
programming language
rewrite systems
language learning
mental states
formal specification
rapid prototyping
equational theories
databases
natural language