CafeOBJ is an algebraic specification and programming language that is a successor of OBJ. In addition to OBJ features, it implements new paradigms such as rewriting logic, hidden algebra, and their combination.
|Version||1.4.6p5 - Tuesday, 22 November 2005|
|OS compatibility||Linux, Windows, MacOS X|
|Source code repository|
You must be logged to add a note
You must be logged to add a comment