The nearly immediate ancestor of Maude
in the OBJ Family
, a rewriting
logic programming language
, useful on its own by relating several logical
frameworks in a clean way. It is also implemented in Common Lisp
, albeit in
the dated GCL implementation (which is not very compliant to the specification).
- CafeOBJ official HomePage at JAIST (Japan)
- mirror in Romania and at UCSD.
- CafeOBJ HomePage at STC_IPA (Japan).
This page is linked from: Algebraic Specification Hidden Algebra OBJ Family