Prototyping 3APL in the Maude Term Rewriting Language.

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

Published in: CLIMA (2006)

Keyphrases

term rewriting
operational semantics
rewrite systems
knuth bendix
theorem prover
theorem proving
formal semantics
natural language
programming language
mental states
development process
language processing
modeling language
equational theories
artificial intelligence
machine learning
software engineering