Sing Sharp

From Seo Wiki - Search Engine Optimization and Programming Languages

Jump to: navigation, search


Paradigm multi-paradigm: structured, imperative, object-oriented, event-driven, functional, contract
Appeared in 2005
Designed by Microsoft Research
Developer Microsoft Research
Typing discipline static, strong, safe, nominative
Influenced by Spec#
OS Singularity

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. Sing# is type-safe. The semantics of message-passing primitives in Sing# are defined by formal and written contracts.

See also



ru:Sing Sharp

Personal tools

Served in 0.239 secs.