Sing# is a concurrent programming language that is a superset of the Spec# programming language; in turn, Spec# is an extension of the C# programming language. Microsoft Research developed Spec#, and later extended it into Sing# in order to develop the Singularity operating system. Sing# augments the capabilities of Spec# with support for channels and low-level programming language constructs, which are necessary for implementing system software....
More
Read article at Wikipedia
Language Paradigms:
- Functional programming ,
- Object-oriented programming ,
- Structured programming ,
- Design by contract ,
- Imperative programming ,
- Multi-paradigm programming language
Influenced By:
Introduced:
- 2005