CafeOBJ 1.6.2 released
We have released version 1.6.2 of CafeOBJ, an algebraic specification and verification language. It has been a long time since we made a formal release. There has been an internal release that really never...
Tagged: Mathematics
CafeOBJ 1.6.0 released
We have released version 1.6.0 of CafeOBJ, an algebraic specification and verification language. This release incorporates the following changes: CITP is officially renamed to PTCalc documents are not updated yet PTCalc(CITP) enhancements :init defined...
CafeOBJ 1.5.9 released
Yesterday we released CafeOBJ 1.5.9 with several new feature, bug fixes, and optimizations. Changes from the previous version: improved memoization higher heap allocation on 64bit systems fixes to .cafeobj file handling new switch ‘show...
CafeOBJ 1.5.8 released
Some time ago we released CafeOBJ 1.5.8 with some new features and bugfixes for the inductive theorem prover CITP. We are still struggling with SBCL builds on Windows, which suddendly started to produce corrupt...
Specification and Verification of Software with CafeOBJ – Part 4 – Modules
This blog continues Part 1, Part 2, and Part 3 of our series on software specification and verification with CafeOBJ. In the last part we have made our first steps with CafeOBJ, learned how...
Hyper Natural Deduction
After quite some years of research, my colleague Arnold Beckmann and my paper on Hyper Natural Deduction has finally been published in the Journal of Logic and Computation. This paper was the difficult but...
Specification and Verification of Software with CafeOBJ – Part 3 – First steps with CafeOBJ
This blog continues Part 1 and Part 2 of our series on software specification and verification with CafeOBJ. We will go through basic operations like starting and stopping the CafeOBJ interpreter, getting help, doing...
Specification and Verification of Software with CafeOBJ – Part 2 – Basics of CafeOBJ
This blog continues Part 1 of our series on software specification and verification with CafeOBJ. Availability of CafeOBJ CafeOBJ can be obtained from the website cafeobj.org. The site provides binary packages built from Linux,...
Specification and Verification of Software with CafeOBJ – Part 1 – Introducing CafeOBJ
Software bugs are everywhere – the feared Blue Screen of Death, the mobile phone rebooting at the most inconvenient moment, games crashing. Most of these bugs are not serious problems, but there are other...
CafeOBJ 1.5.7 released
Yesterday we released CafeOBJ 1.5.7 with lots of changes concerning the inductive theorem prover CITP, as well as fixes to make CafeOBJ work with current SBCL. The documentation has gained a few more documents...
Software Development as mathematician in academia – everyone bites the dust
Is it possible to do software development, mathematical or not, as mathematician in academics? This is a question I was asking myself recently a lot, seeing my own development from logician at a state...
Gaisi Takeuti, 1926-2017
Two days ago one of the most influential logician of the 20th century has passed away, Gaisi Takeuti (竹内 外史). I had the pleasure to meet this excellent man, teacher, writer, thinker several times...
Farewell academics talk: Colloquium Logicum 2016 – Gödel Logics
Today I had my invited talk at the Colloquium Logicum 2016, where I gave an introduction to and overview of the state of the art of Gödel Logics. Having contributed considerably to the state...
Gödel and Daemons – an excursion into literature
Explaining Gödel’s theorems to students is a pain. Period. How can those poor creatures crank their mind around a Completeness and an Incompleteness Proof… I understand that. But then, there are brave souls using...
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...
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...
