Blogmarks.net is a social bookmarking service.

Founded in late 2003 and heartquartered in France, we are non-profit and independant.

We believe in the open web, think internet services should be sustainable, build for the long term.

While we are re-launching the service, we only accept new members through invitation.

LINK

Spec#

by ms_michel

Spec# is a formal language for API contracts, which extends C# with constructs for non-null types, preconditions, postconditions, and object invariants.

Comments

No comment on this link yet.

PUBLIC TAGS
on this link

BY

ms_michel
the 19/02/2009 at 14:27

Sign Up

Blogmarks.net is a social bookmarking service.

Already an user?

LINK

Spec#

Comments

PUBLIC TAGS on this link

BY

PUBLIC TAGS
on this link