- Spec Sharp
Spec# is a
programming language withspecification language features that extends the capabilities of the C# programming language with Eiffel-like contracts, includingobject invariant s, preconditions and post-conditions. LikeESC/Java , it includes a static checking tool based on a theorem prover that is able to statically verify many of these invariants. It also includes a variety of other minor extensions to the language, such as non-null reference types.Microsoft Research developed both Spec# and C#; in turn, Spec# serves as the foundation of the Sing# programming language, which Microsoft Research also developed.ources
* Barnett, M., K. R. M. Leino, W. Schulte, "The Spec# Programming System: An Overview." "Proceedings of Construction and Analysis of Safe, Secure and Interoperable Smart Devices (CASSIS)", Marseilles.
Springer-Verlag ,2004 .ee also
* Eiffel
* Singularity
* Sing#
* C#External links
* [http://research.microsoft.com/specsharp/ Spec# website] from
Microsoft Research
Wikimedia Foundation. 2010.