Syng Sharp

Sing#  , et programmeringssprog med understøttelse af concurrency , er en udvidelse af Spec# -programmeringssproget , som igen er en udvidelse af C# -sproget . Microsoft Research udviklede Spec# og udvidede det senere til Sing# for at udvikle Singularity -operativsystemet . Sing# udvider Spec# ved at understøtte pipes og programmeringssprogkonstruktioner på lavt niveau, der er nødvendige for at implementere systemsoftware . Sing#-sproget er typesikkert . Semantikken for meddelelsesoverførende primitiver i Sing#-sproget er fastgjort og beskrevet af formelle konventioner.

Se også

• Besked udveksling

Yderligere kilder

• Sprogstøtte til hurtig og pålidelig meddelelsesbaseret kommunikation i Singularity OS Arkiveret 20. december 2017 på Wayback Machine . Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus og Steven Levi. Proceedings of EuroSys2006 . Leuven, Belgien, april 2006. ACM SIGOPS.
• En oversigt over Singularity Project , teknisk rapport MSR-TR-2005-135, Microsoft Research , 2005.