The Maude 2.0 System.

Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Carolyn L. Talcott

Published in: RTA (2003)

Keyphrases

formal specification
equational theories
databases
model checking
general purpose
artificial intelligence
heuristic search
high level
expert systems
domain knowledge
knowledge based systems
object oriented
programming language