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...
Sing sharp
Programming Language
Language Paradigms:
- Functional programming
- Object-oriented programming
- Structured programming
- Design by contract
- Imperative programming
- Multi-paradigm programming language
Influenced By:
Introduced:
- 2005