On Object-Oriented Programming

There’s an interesting interview with Ralph Johnson and Joe Armstrong over at QCon. They’re talking generally about whether OOP has been successful, and reflecting on the last few decades. A few things from the interview caught my eye.

Kiwi Language Creator Acknowledged!

The Dom Post ran a short article over the weekend on kiwi Ross Ihaka, about the R programming language which he created along with Robert Gentleman at the University of Auckland.

What is Extended Static Checking?

Extended Static Checking (ESC) is the main technique used in Whiley. *But, what is it? *Since there isn’t a huge amount of information available on the web, I thought some discussion about this would be useful.

The Trouble with Quantifier Instantiation in an SMT Solver? Triggers.

So, i’ve been recently working through the quantifier instantiation mechanism in wyone. This is a tricky, yet important topic. There’s been a lot of interesting research in this area as well (see further reading below for some examples), although I found the papers often hard work at times.

Formal Methods: To the Moon and Back!

I recently came across a rather interesting presentation by Gerard Holzmann (author of the SPIN model checker) who’s currently working for NASA’s Jet Propulsion Lab, and previously worked at Bell Labs: