Multithreading. Spec# - Home. Spec# is a formal language for API contracts (influenced by JML, AsmL, and Eiffel), which extends C# with constructs for non-null types, preconditions, postconditions, and object invariants.
Spec# comes with a sound programming methodology that permits specification and reasoning about object invariants even in the presence of callbacks and multi-threading. Spec# is a research vehicle that has been used to explore specifications and the dynamic/static tools that make use of them. The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. Simon Peyton Jones.
I'm a researcher at Microsoft Research in Cambridge, England.
I started here in Sept 1998. I'm also an Honorary Professor of the Computing Science Department at Glasgow University, where I was a professor during 1990-1998. I am married to Dorothy, a priest in the Church of England.