Wednesday, November 17, 2004
Spec#
The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. The Spec# programming language, which is a superset of C#... This is a new language coming out of Microsoft Research, so it may or may not make the light of day. [Dan Fernandez]
// posted by Craig Berntson @ 10:55:00 AM 
Subscribe to Posts [Atom]