Real World Specs

Omer van Kloeten talks about Spec# in the Real World and points to Mike Barnett's talk about Spec# in the Lang.NET Symposium. While he likes the technology, he's worried that most developers will find it too inconvenient to use. I am planning on adding specifications support including syntax highlighting on

---

Read more » Oct 24, 2006, 5:55AM
NStatic

Interprocedural Analysis

One distinctive feature of my static analysis tool, NStatic, is support for fast interprocedural analysis as demonstrated by this snapshot of the callstack window depicting a stack trace, eleven function calls deep. Note that this is a pre-release product, and anything I mention in this post is subject to change.

---

Read more » Oct 23, 2006, 11:43PM
NStatic

Last Mile

I have got another month of UI tweaking and bug-fixing left on my tool. Probably within that time I will released a non-public build to the few dozen people on my beta list, followed sometime later by a more extensive beta. I am currently planning on talking about NSTATIC during a

---

Read more » Oct 23, 2006, 10:14AM
NStatic

NStatic Status

I currently have 29 active bugs in my plate for the NStatic. The noise in my blog has been low, as I have been very busy developing and fixing bugs. I am thinking of saving all the "Rotor" Shared Source CLI bugs that I find in a list to be

---

Read more » Oct 1, 2006, 11:38PM
NStatic

Turing Test and Loebner Prize Competition

A couple of weeks ago, the 2006 Loebner Prize competition was held. Back when I was at Harvard in the early 1990s,  the annual Loebner Prize Competition was created as the first real-life version of the "Turing Test," described in Turing's article "Computing Machinery and Intelligence" to answer the question "Can Computers

---

Read more » Oct 1, 2006, 9:14PM
AI