On 11/04/2010 03:44 PM, bearophile wrote:
Spec# is a Microsoft language, its development started in 2003, so it's not a new
language. But both its specs and its implementation are unfinished still. Designing
it is a long& hard task.
I have recently found a quite nice introduction to Spec#, "Using the Spec# Language,
Methodology, and Tools to Write Bug-Free Programs" di K. Rustan M. Leino and Peter
Muller (2009):
http://research.microsoft.com/en-us/um/people/leino/papers/krml189.pdf
Plus a nice Microsoft site that allows you to try it in interactive way, this
is very good:
http://www.rise4fun.com/SpecSharp
hey, cool
stumbled on sing# a while ago and thought it was intriguing, or at least
the fact that ms was using it to write an OS kernel