Sing Sharp | это... Что такое Sing Sharp? (original) (raw)
Sing Sharp
Правильный заголовок этой статьи — Sing#. Он показан некорректно из-за технических ограничений.
Sing#
Класс языка: | мультипарадигменный: структурный, императивный, объектно-ориентированный, событийно-ориентированный, функциональный, контрактный |
---|---|
Появился в: | 2005 |
Автор(ы): | Microsoft Research |
Релиз: | 1.0.21125 |
Типизация данных: | статическая, строгая, типобезопасная, номинативная |
Испытал влияние: | Spec# |
Лицензия | Microsoft Research License |
Сайт: | http://research.microsoft.com/en-us/projects/specsharp |
Sing# — язык программирования с поддержкой параллелизма, является расширением языка программирования Spec#, который, в свою очередь, является расширением языка C#. Microsoft Research разработала Spec#, и позднее расширила его, превратив в Sing#, для разработки операционной системы Singularity. Sing# расширяет возможности Spec# за счет поддержки каналов и конструкций низкоуровневого языка программирования, необходимых для реализации системного ПО. Sing# типобезопасен. Семантика примитивов обмена данными (message-passing primitives) в языке Sing# фиксирована и описывается формальными соглашениями.
См. также
Дополнительные источники
- 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.
![]() |
|
---|---|
Версии | 1.0 • 2.0 • 3.0 • 4.0 |
ПО | Visual C# • Visual Studio • Mono • SharpDevelop • Turbo C# |
Связанное | Синтаксис • Сравнение с Java • .NET Framework • Sing# |
Категории:
- Появились в 2005 году
- Языки программирования по алфавиту
- Семейство языков программирования C Sharp
- Языки программирования семейства C
- Классовые языки программирования
- Языки формальных спецификаций
- Microsoft Research
Wikimedia Foundation.2010.
Полезное
Смотреть что такое "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… … Wikipedia
- 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