« February 2006 | Main | May 2007 »
March 27, 2007
Abstract Interpretation
There are quite a number of interesting domains and techniques outlined on Antoine Mine's page. Well worth keeping track of.
Posted by Carette at 08:50 PM | Comments (0)
March 11, 2007
Harmonia Project
The Harmonia Project is interesting in that it is one of the few projects to resurrect ideas of language-aware tools.
Unfortunately, it seems to be fairly tied to Java (and Visual Studio .NET on Windows), which makes it somewhat scary too. It might just be rather slow!
Posted by Carette at 11:41 AM | Comments (0)
March 09, 2007
Lemma One
For a while, I was trying to remember the name of one particular company in the U.K., and serendipitously got an email from Rob Arthan of Lemma 1 as a reminder.
There are many potential users of MathScheme, but Lemma One could be an early adopter / power user.
Posted by Carette at 04:29 PM | Comments (0)
March 08, 2007
The ASM method
I used to be a serious doubter of anything that dealt with executable specifications. I still do, but now I understand why, and so when it is OK to talk about executable specifications -- but that is another story.
So what won me over? A few months ago, a wonderful talk by Egon Börger, dealing (in part) with Abstract State Machines (ASM) and Ground Models. There, I finally saw the mathematical generality and abstraction level possible. Of course, I am still not a huge fan (it uses state, yuck), but the basic ideas are most definitely very very good. Most bizarrely, I had attended a talk some years ago by Yuri Gurevich on essentially the same idea, but he concentrated on other aspects of ASMs so I did not "get it" at that time. Oh well, that's ok, since it forced me to think long and hard about programming and specification languages, which was definitely worth it.
Posted by Carette at 10:48 AM | Comments (0)