Daily Archives: September 11, 2014

CafeOBJ 1.5.0 released

This entry was posted in Releases on by

Yesterday we have finally released CafeOBJ 1.5.0. This marks a great step forward in a long development history of this algebraic specification and verification language. To quote from our README: CafeOBJ is a new generation algebraic specification and programming language. As a direct successor of OBJ, it inherits all its […]