From OBJ to Maude and Beyond.

Published in: Essays Dedicated to Joseph A. Goguen (2006)

Keyphrases

equational theories
function symbols
formal specification
logic programs
logic programming
first order logic
answer set programming
model checking
constraint programming
normal form
high level
database systems
reverse engineering