Sing Sharp

Sing Sharp

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.

ee also

* Message passing programming
* Spec#

ources

* " [http://www.cs.kuleuven.ac.be/conference/EuroSys2006/papers/p177-fahndrich.pdf 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, 2005.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Sing Sharp — Правильный заголовок этой статьи  Sing#. Он показан некорректно из за технических ограничений. Sing# Класс языка: мультипарадигменный: структурный, императивный, объектно ориентированный, событийно ориентированный, функциональный,… …   Википедия

  • Sing-Sharp — Der korrekte Titel dieses Artikels lautet „Sing#“. Diese Schreibweise ist aufgrund technischer Einschränkungen nicht möglich …   Deutsch Wikipedia

  • Sing — ist der Familienname folgender Personen: Albert Sing (1917–2008), deutscher Fußballspieler und trainer Johann Kaspar Sing (1651–1729), deutscher Maler Sing# ist eine Programmiersprache, siehe Sing Sharp Siehe auch: Singh …   Deutsch Wikipedia

  • sharp — [shärp] adj. [ME < OE scearp, akin to Ger scharf, ON skarpr < IE * (s)kerb(h) < base * (s)ker , to cut > SHEAR, HARVEST, L caro, flesh] 1. suitable for use in cutting or piercing; having a very thin edge or fine point; keen 2. having… …   English World dictionary

  • Sharp — Sharp, v. i. 1. To play tricks in bargaining; to act the sharper. L Estrange. [1913 Webster] 2. (Mus.) To sing above the proper pitch. [1913 Webster] …   The Collaborative International Dictionary of English

  • sharp — [[t]ʃɑ͟ː(r)p[/t]] ♦♦ sharps, sharper, sharpest 1) ADJ GRADED A sharp point or edge is very thin and can cut through things very easily. A sharp knife, tool, or other object has a point or edge of this kind. The other end of the twig is sharpened… …   English dictionary

  • sharp — I. adjective Etymology: Middle English, from Old English scearp; akin to Old High German scarf sharp and perhaps to Old English scrapian to scrape more at scrape Date: before 12th century 1. adapted to cutting or piercing: as a. having a thin… …   New Collegiate Dictionary

  • Sharp Daily — Infobox Newspaper name = caption = The November 24, 2006 front page of Sharp Daily type = Free daily newspaper format = Tabloid foundation = October 24, 2006 owners = Next Media headquarters = 141 Sing Ai Road Neihu Industrial Park, Taipei City… …   Wikipedia

  • sharp — ʃɑrp /ʃɑːp n. something sharp; sewing needle; sharper; swindler, cheater; professional gambler; musical tone half a step higher than a given note; mark indicating such a tone v. sing or play above the proper key, sing or play out of tune… …   English contemporary dictionary

  • Sing, But Keep Going — Infobox Album Name = Sing, But Keep Going Type = studio Artist = Sherwood Released = May 31, 2005 Recorded = Genre = Rock Length = 33:52 Label = SideCho Records Producer = Michael Rosas Reviews = *AbsolutePunk.net (88%)… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”