Articles

Comparing I/O in C with Java

Recently, I was having a somewhat heated discussion with a friend about the Java I/O library (specificially java.io.*).  His position was that the library is unnecessarily cluttered and verbose, and that  I/O in C is much simpler and more productive.  Whilst I agreed with some of that, I also argued that the Java I/O . . . → Read More: Comparing I/O in C with Java

The Whiley Project on Ohloh

Just yesterday, I came across the ohloh website for the first time and was surprised to find the Whiley project already listed there.  If you haven’t seen it before, Ohloh is a site that attempts to gather stats and other information on open source projects such as: who the developers are, how many commits . . . → Read More: The Whiley Project on Ohloh

Rustan on Automatic Program Verification

Yesterday I came across an interesting talk given by Rustan Leino at the University of Edinburgh in 2011.  Rustan takes an interesting look overview over the subject’s history, and then shows several tools in action (including Code Contracts and Dafny): Anyway, Rustan has a long history in program verification now, and was heavily involved . . . → Read More: Rustan on Automatic Program Verification