Tagged: CafeOBJ

0

Tutorial: First Steps with CafeOBJ

I have created a tutorial for CafeOBJ that will guide users through starting the CafeOBJ interpreter, and some simple calculations. Included is also a very short introduction to the logic background of CafeOBJ, and...

0

CafeOBJ in Debian

After close to a month of waiting, our CafeOBJ packages have finally entered Debian! Not having all the build architectures at hand for testing, there have been a lot of build-failures, especially due to...

0

CafeOBJ 1.5.1 and binary builds

After recently, we released another version 1.5.1, which makes the Windows builds run on UNC path, too. We also improved our binary distribution mechanism and now provide ready built binaries for Windows, Mac, and...

2

CafeOBJ 1.5.0 released

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...

0

The Joy of Lisp

It has been a long time that I haven’t programmed Lisp, but due to my involvement in , I recently have re-started to program Lisp, in particular Common Lisp, which is the implementation language...