Spec Sharp

Spec Sharp is a historical programming language created in 2004. Spec# is a programming language with specification language features that extends the capabilities of the C# programming language with Eiffel-like contracts, including object invariants, preconditions and postconditions. Like ESC/Java, it includes a static checking tool based on a theorem prover that is able to statically verify many of these invariants. It also includes a variety of other minor extensions to the language, such as non-null reference types. Read more on Wikipedia...

15Years Old

20Users

0Jobs

• Spec Sharp ranks in the top 50% of languages
• the Spec Sharp wikipedia page
• Spec Sharp first appeared in 2004
• See also: csharp, eiffel, java
• I have 23 facts about Spec Sharp. what would you like to know? email me and let me know how I can help.

Example code from Wikipedia:

static int Main(string![] args)
        requires args.Length > 0;
        ensures return == 0;
    {
        foreach(string arg in args)
        {
            Console.WriteLine(arg);
        }
        return 0;
    }

Last updated July 22nd, 2019