Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Spec Sharp

< >

Spec Sharp is a programming language created in 2004.

#3321on PLDB 20Years Old
Wikipedia

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...


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

- Build the next great programming language Add Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v161.0.4