About: 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.

Property	Value
dbpprop:abstract	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# ist eine Programmiersprache, die sich vom C#-Derivat Spec# ableitet.
dbpprop:designer	dbpedia:Microsoft_Research
dbpprop:developer	dbpedia:Microsoft_Research
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Sing_Sharp
dbpprop:influencedBy	dbpedia:Spec_sharp
dbpprop:name	Sing
dbpprop:operatingSystem	dbpedia:Singularity_(operating_system)
dbpprop:paradigm	dbpedia:Structured_programming dbpedia:Event-driven_programming dbpedia:Imperative_programming dbpedia:Functional_programming dbpedia:Object-oriented_programming dbpedia:Multi-paradigm_programming_language dbpedia:Design_by_Contract
dbpprop:reference	http://www.cs.kuleuven.ac.be/conference/EuroSys2006/papers/p177-fahndrich.pdf
dbpprop:typing	dbpedia:Nominative_type_system dbpedia:Type_system#Safely_and_unsafely_typed_systems dbpedia:Type_system#Static_and_dynamic_typing dbpedia:Type_system#Strong_and_weak_typing
dbpprop:wikiPageUsesTemplate	dbpedia:Template:infobox_programming_language
dbpprop:year	2005 (xsd:integer)
rdf:type	http://dbpedia.org/class/yago/FormalSpecificationLanguages http://dbpedia.org/class/yago/MicrosoftDivisions
rdfs:comment	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# ist eine Programmiersprache, die sich vom C#-Derivat Spec# ableitet.
rdfs:label	Sing Sharp Sing-Sharp
owl:sameAs	freebase:Sing Sharp http://umbel.org/umbel/ne/wikipedia/Sing_Sharp
skos:subject	dbpedia:Category:Class-based_programming_languages dbpedia:Category:Concurrent_programming_languages dbpedia:Category:C_programming_language_family dbpedia:Category:Microsoft_Research dbpedia:Category:C_Sharp_programming_language_family dbpedia:Category:Formal_specification_languages
foaf:page	http://en.wikipedia.org/wiki/Sing_Sharp
is dbpprop:progLanguage of	dbpedia:Singularity_(operating_system)
is dbpprop:programmedIn of	dbpedia:Singularity_(operating_system)
is dbpprop:redirect of	dbpedia:Sing_sharp
is owl:sameAs of	yago:Sing Sharp