Yesterday, I was looking at the stats on Ohloh for the Whiley project and noticed that my total line count for the project had increased from around 65KLOCto 143KLOC over a very short amount of time:
Confused, I was pondering this for a while. Then it struck me: I’d checked in . . . → Read More: A Source File with 72KLOC!?
Probably the most interesting aspect of the Whiley language is that it supports compile-time verification of preconditions, postconditions and other invariants. There are two main aspects of how this works:
Generation of Verification Conditions (VCs) from the source code. A verification condition is a logical expression which, if proved to be satisfiable, indicates an . . . → Read More: Generating Verification Conditions for Whiley
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
Recently, I came across an article entitled “Useful Pure Functional Programming” which talks about the advantages of functional programming. However, something struck me about the way the author thinks about functional programming:
“Living for a long time in the context of an imperative world made me get used to think in a specific sequential . . . → Read More: A Misconception of Functional Programming?
Recently, I came across an interesting discussion of C++ versus Java performance over on Stack Exchange. There was also some good discussion of the article on Reddit which included a link to an interesting article from Google.
Understanding these languages from a performance perspective is important to me, as it impacts the design of . . . → Read More: Java versus C++ Performance
One of the most interesting projects I came across at PLDI/ECOOP in Beijing was the Liquid Metal project being developed at IBM’s TJ Watson Research Center. From the Liquid Metal homepage:
The Liquid Metal project at IBM aims to address the difficulties that programmers face today when developing applications for computers that feature programmable . . . → Read More: The Liquid Metal Project