Spec# for Visual Studio 2008
1 view
Skip to first unread message
KillerDotNet
Jun 2, 2008, 4:45:14 PM6/2/08
to DotNetStarters
Spec# for Visual Studio 2008
Description
Spec# is an experimental language that extends C# (version 2) with
several design-by-contract features. The new features of Spec# include
a non-null type system, method pre- and post-conditions, loop
invariants, and object invariants. The Spec# Programming System
provides design-time checking, run-time checking, and a static
verifier. This version of Spec# works with Visual Studio 2008.
Description
Spec# is an experimental language that extends C# (version 2) with
several design-by-contract features. The new features of Spec# include
a non-null type system, method pre- and post-conditions, loop
invariants, and object invariants. The Spec# Programming System
provides design-time checking, run-time checking, and a static
verifier. This version of Spec# works with Visual Studio 2008.
Reply all
Reply to author
Forward
0 new messages