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.
| Property | Value |
|---|
| dbpedia-owl:abstract
|
- Sing# ist eine Programmiersprache, die sich vom C#-Derivat Spec# ableitet.
- 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.
- Sing# — язык программирования с поддержкой параллелизма, является расширением языка программирования Spec#, который, в свою очередь, является расширением языка C#. Microsoft Research разработала Spec#, и позднее расширила его, превратив в Sing#, для разработки операционной системы Singularity. Sing# расширяет возможности Spec# за счет поддержки каналов и конструкций низкоуровневого языка программирования, необходимых для реализации системного ПО. Sing# типобезопасен. Семантика примитивов обмена данными (message-passing primitives) в языке Sing# фиксирована и описывается формальными соглашениями.
|
| dbpedia-owl:designer
| |
| dbpedia-owl:developer
| |
| dbpedia-owl:influencedBy
| |
| dbpedia-owl:wikiPageExternalLink
| |
| dbpprop:designer
| |
| dbpprop:developer
| |
| dbpprop:influencedBy
| |
| dbpprop:name
| |
| dbpprop:operatingSystem
| |
| dbpprop:paradigm
| |
| dbpprop:reason
| |
| dbpprop:title
| |
| dbpprop:typing
| |
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:year
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Sing# ist eine Programmiersprache, die sich vom C#-Derivat Spec# ableitet.
- 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.
- Sing# — язык программирования с поддержкой параллелизма, является расширением языка программирования Spec#, который, в свою очередь, является расширением языка C#. Microsoft Research разработала Spec#, и позднее расширила его, превратив в Sing#, для разработки операционной системы Singularity. Sing# расширяет возможности Spec# за счет поддержки каналов и конструкций низкоуровневого языка программирования, необходимых для реализации системного ПО. Sing# типобезопасен.
|
| rdfs:label
|
- Sing-Sharp
- Sing Sharp
- Sing Sharp
|
| owl:sameAs
| |
| foaf:name
| |
| foaf:page
| |
| is dbpedia-owl:influenced
of | |
| is dbpedia-owl:wikiPageDisambiguates
of | |
| is dbpedia-owl:wikiPageRedirects
of | |
| is dbpprop:influenced
of | |
| is dbpprop:progLanguage
of | |
| is dbpprop:programmedIn
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
