Sing# is a concurrent

Parallel computing

Parallel computing is a form of computation in which many calculations are carried out simultaneously, operating on the principle that large problems can often be divided into smaller ones, which are then solved concurrently . There are several different forms of parallel computing: bit-level,...

 programming language

Programming language

A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....

 that is a superset of the Spec#

Spec sharp

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

 programming language

Programming language

A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....

; in turn, Spec# is an extension of the C# programming language. Microsoft Research

Microsoft Research

Microsoft Research is the research division of Microsoft created in 1991 for developing various computer science ideas and integrating them into Microsoft products. It currently employs Turing Award winners C.A.R. Hoare, Butler Lampson, and Charles P...

 developed Spec#, and later extended it into Sing# in order to develop the Singularity

Singularity (operating system)

Singularity is an experimental operating system being built by Microsoft Research since 2003. It is intended as a highly-dependable OS in which the kernel, device drivers, and applications are all written in managed code.- Workings :...

 operating system

Operating system

An operating system is a set of programs that manage computer hardware resources and provide common services for application software. The operating system is the most important type of system software in a computer system...

. Sing# augments the capabilities of Spec# with support for channels and low-level programming language

Low-level programming language

In computer science, a low-level programming language is a programming language that provides little or no abstraction from a computer's instruction set architecture. Generally this refers to either machine code or assembly language...

 constructs, which are necessary for implementing system software

System software

System software is computer software designed to operate the computer hardware and to provide a platform for running application software.The most basic types of system software are:...

. Sing# is type-safe. The semantics of message-passing primitives in Sing# are defined by formal and written contracts.

Sources

• Language Support for Fast and Reliable Message-based Communication in Singularity OS. Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, and Steven Levi. Proceedings of EuroSys2006. Leuven, Belgium, April 2006. ACM SIGOPS.
• [ftp://ftp.research.microsoft.com/pub/tr/TR-2005-135.pdf An Overview of the Singularity Project], Technical Report MSR-TR-2005-135, Microsoft Research
  Microsoft Research
  Microsoft Research is the research division of Microsoft created in 1991 for developing various computer science ideas and integrating them into Microsoft products. It currently employs Turing Award winners C.A.R. Hoare, Butler Lampson, and Charles P...
  
  , 2005.