Microsoft Research Community
Sign in
|
Join
|
Help
Home
Blogs
Media
Forums
Wikis
Groups
Forums
»
Microsoft Research Forums
»
Spec#
Spec#
Shortcuts
View all users
Write a New Post
Sorting and Filtering
Sort by
Last Post Date
Thread Author
Total Ratings
Total Views
Total Replies
in
Descending
Ascending
order
With date
Show All
Newer than 1 Day
Newer than 2 Days
Newer than 3 Days
Newer than 1 Week
Newer than 2 Weeks
Newer than 1 Month
Newer than 2 Months
Newer than 3 Months
Newer than 6 Months
Newer than 1 Year
With read status
Show All
Hide topics I've read
Spec# is an experimental language that extends C# 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# runs on .NET Framework version 2.
Topics
Replies
Download The Spec#
Latest post
by
Hernan Weintraub
, 09-16-2009 11:45 AM
0
is it possible to verify at compile-time if the 'ensures' constraint...
Latest post
by
ElenaPavlova
, 06-14-2009 2:58 AM
0
Page 1 of 1 (2 items) |
RSS
Browse Discussions
News and Announcments
News about Spec#: new releases, new content coming online, and other announcements.
Chat- General
Spec# community chat.
©2009 Microsoft Corporation. All rights reserved.
Terms of Use
|
Trademarks
|
Privacy Statement
|
Feedback