During this year’s ESSLLI (European Summer School in Logic, Language and Information) I was teaching a course on Algebraic Specification and Verification with CafeOBJ. Now that the course is over I can relax a bit and enjoy the beauty of the surrounding North Tyrol. For those who couldn’t attend the ESSLLI or the course, here are the course materials: Day […]
Yesterday we have released CafeOBJ 1.5.5 with a long list of changes, and many more internal changes. Documentation pages have been updated with the latest reference manual (PDF, Html) as well as some new docs on CITP (in Japanese for now) and tutorials. To quote from our README: CafeOBJ is a new generation algebraic specification and programming language. As a […]
Yesterday we have released CafeOBJ 1.5.4 with a long list of changes, and many more internal changes. Documentation pages have been updated with the latest reference manual (PDF, Html) as well as some new docs on CITP (in Japanese for now) and tutorials. To quote from our README: CafeOBJ is a new generation algebraic specification and programming language. As a […]
I have finally finished the Portfile for CafeOBJ, which allows users to install CafeOBJ via the usual port command of MacPorts. For one needs to add our local source (which only ships CafeOBJ port), but I hope to get the port into the standard distribution soon. Necessary steps: Add the following line to your MacPorts sources.conf, which usually resides in […]
Thanks to Takahiro Seino we are now having a gentle introduction to CafeOBJ for beginners, in both English and Japanese, available. Please head over to the CafeOBJ web site for details, or jump directly to the English or Japanese version. We are also preparing for a new release with largely improved CITP support and better term inspection. Stay tuned.
I have created a new tutorial for CafeOBJ that will introduce users to functional programming the CafeOBJ way, in particular list processing and programming. We introduce lists, and define functions on them: length, append, insert, and insert sort. At the end we shortly touch the topic of tracing CafeOBJ rewriting. The tutorial is published on the CafeOBJ page, direct link: […]
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 the basic structure of the language. The tutorial is published on the CafeOBJ page, direct link: Tutorial: First steps in CafeOBJ.
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 non-existing home diretories, but this be fixed in a day or two. So from now on, to use your favorite algebraic specification and verification language, just […]
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 Linux (both 32 and 64 bit), both built on either Allegro CL or SBCL. See http://cafeobj.org/download/ for download and install instructions.
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 features (flexible mix-fix syntax, powerful typing system with sub-types, and […]
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 of CafeOBJ. My aim was a kind of command line apropos for CafeOBJ, which allows searching for regular expressions as well as normal substrings. Today, when […]