×
Error!
×
Success!
My Account
Spy
Logout
Stories
Users
Tags
FAQ
Submit
×
Submit a new Story Link
You've got a new story for us? Awesome! Just fill in the details below and fire away...
Paste the URL in here - no shortened URLs please (e.g. bit.ly)
Give us a Title that folks will easily recognize
Tell us in your own words why you like this story
Add some tags so folks can find it by topic (comma separated)
Code Contracts #4: modelling implications
×
Edit your Story Link
Not quite right the first time? No problem, send us your changes...
Paste the URL in here - no shortened URLs please (e.g. bit.ly)
Give us a Title that folks will easily recognize
Tell us in your own words why you like this story
Add some tags so folks can find it by topic (comma separated)
×
Ban this user: Options
Please provide a reason for deleting this story
Reason for deletion
0
kicks
views:
0
comments:
0
by
(unknown)
Code Contracts #4: modelling implications
(Unpublished)
Shows how to model implications of the form "If you give me X, then I give you Y" (X => Y) as post-conditions with Code Contracts.
more
less
Kicked By:
Drop Kicked By:
Comments
Related Stories
More from this user
Have your say
0
none
views:
0
comments:
0
by
(unknown)
0
none
views:
0
comments:
0
by
(unknown)
Tweets by @dotnetkicks
