Sing#

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.

[edit] See also

• Message passing programming

[edit] 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.
• An Overview of the Singularity Project, Technical Report MSR-TR-2005-135, Microsoft Research, 2005.

v • d • e Microsoft Research (MSR) Languages and compilers Polyphonic C# · Cω · Spec# · Sing# · Bartok · Phoenix Distributed / grid computing Bigtop · Gridline · BitVault Internet and networking Avalanche · Wallop · Conference XP · HoneyMonkey · AjaxView · Gazelle Other projects MyLifeBits · LiveStation · Terminator · WorldWide Telescope Operating systems Singularity · Barrelfish APIs Joins · Accelerator · Dryad  · SXM Launched as products C# · Comic Chat · F# · Sideshow · Surface (TouchLight) · SenseCam · ClearType · Group Shot · Allegiance · Songsmith

This programming language-related article is a stub. You can help Wikipedia by expanding it. v • d • e