Spec#, nullables and more

[Ellery Newcomer]

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