CafeOBJ

11 posts

CafeOBJ 1.5.5 released

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 […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

CafeOBJ 1.5.4 released

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 […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Getting CafeOBJ via MacPorts

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 […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Introduction to CafeOBJ in English and Japanese

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.

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Tutorial: Lists in CafeOBJ

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: […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

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 the basic structure of the language. The tutorial is published on the CafeOBJ page, direct link: Tutorial: First steps in CafeOBJ.

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

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 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 […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

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 Linux (both 32 and 64 bit), both built on either Allegro CL or SBCL. See http://cafeobj.org/download/ for download and install instructions.

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

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 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 […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

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 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 […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author