Crimson Reason

A site devoted mostly to everything related to Information Technology under the sun - among other things.

Wednesday, February 6, 2013

Spec#

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.   Find it @ http://research.microsoft.com/en-us/projects/specsharp/

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

About Me

My photo
I had been a senior software developer working for HP and GM. I am interested in intelligent and scientific computing. I am passionate about computers as enablers for human imagination. The contents of this site are not in any way, shape, or form endorsed, approved, or otherwise authorized by HP, its subsidiaries, or its officers and shareholders.

Blog Archive