Sing Sharp
From Wikipedia, the free encyclopedia
The correct title of this article is Sing#. The substitution or omission of the # is because of technical restrictions.
| Paradigm(s) | 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
- Message passing programming
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.
| |||||||||||||||||||||||||||||||||||||||||
This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.