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
|
|||||
|
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 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 |
 |
||||
|
Copyright © 2020 David J. Pearce - All Rights Reserved 53 queries. 0.328 seconds. |
|||||
