Articles

Eclipse Plugin v0.1.0 Released!

After being stuck with an outdated Eclipse plugin for quite a while, I’ve finally released a new version of the Whiley Eclipse Plugin (Wyclipse).  This uses the latest version of the Whiley Compiler (WyC), and fixes a whole host of problems with the previous version.  Specifically:

Whiley Projects are Standalone.  Previously, every Whiley project . . . → Read More: Eclipse Plugin v0.1.0 Released!

Thoughts on Writing Loop Invariants

As the Whiley system is taking better shape every day, I’m starting to play around more and discover things.  In particular, there are some surprising issues surrounding while loops and their loop invariants. These are things which I’ll need to work on in the future if Whiley is to stand any chance of being . . . → Read More: Thoughts on Writing Loop Invariants

The Dafny Tutorial at SPLASH’13

Today I was attending the Dafny tutorial given by Rustan Leino at SPLASH’13. I have to say that this was the highlight of the conference for me. In case you haven’t come across it before, Dafny is a programming language designed for software verification. It has a lot in common with . . . → Read More: The Dafny Tutorial at SPLASH’13