Spec# is Out

Spec# for Visual Studio 2005 is out now… Perhaps, we will see this along with Pex in the version of VS following Orcas. Here’s the description of Spec# in the Microsoft Research site: Spec# is an experimental language that extends C# with several design-by-contract features. The new features of Spec# include a

---

Read more » Mar 29, 2007, 6:57PM
NStatic

Static Analysis Tools at the Summit

The MVP Summit saw three different demos of various static analysis tools demoed to MVPs. I know all of the developers of the tools and even hinted at times at whether we should provide some links or integration, since our tools have somewhat mutually exclusive functionality. Serge Baranovsky demonstrated his beta analysis

---

Read more » Mar 18, 2007, 3:44AM
NStatic

Parameterized Unit Tests

Andrew Stopford wrote about a Microsoft Research technology called parameterized testing being developed on a project called Pex (Program EXploration). Pex is described as an… …intelligent assistant to the programmer. By automatically generating unit tests, it allows [one] to find bug early. In addition, it suggests to the programmer hot to fix

---

Read more » Mar 17, 2007, 9:53PM
NStatic

Code and Data

Usually, when I mention functional programming to other developers, they will unconsciously close their arms and legs—a sure sign of resistance. These developers are naturally suspicious of another new, better “programming” paradigm, so I have learned to zip my mouth. They don’t see the possibility of code becoming more declarative and

---

Read more » Mar 16, 2007, 3:57PM
AI

Anonymous Recursion

I was planning on writing about anonymous recursion relating to work in NStatic, but Wes Dyer beat me to the punch with his post Anonymous Recursion in C#. In addition to my name, Wes Dyer shares my desire to push a more functional style of programming in C# (and he's also

---

Read more » Mar 7, 2007, 2:11PM
NStatic