Spec# is a programming system built as a superset of C# that looks to reduce errors and make applications more robust by reducing common programming mistakes such as null references and invalid method calls. Using non-null types, method contracts, and class contracts a developer can reduce errors during compile time.
The Spec# programming system is being developed as a research project at Microsoft Research in Redmond.
|