Sing Sharp
A Sing# egy programozási nyelv , amely támogatja a párhuzamosságot , a Spec# programozási nyelv kiterjesztése , amely viszont a C# nyelv kiterjesztése . A Microsoft Research kifejlesztette a Spec#-ot , majd később kiterjesztette a Sing# -ra a Singularity operációs rendszer fejlesztése érdekében . Az Sing# kiterjeszti a Spec#-ot azáltal, hogy támogatja a rendszerszoftver megvalósításához szükséges csöveket és alacsony szintű programozási nyelvi konstrukciókat . A Sing# nyelv típusbiztos . Az üzenetátadó primitívek szemantikáját a Sing# nyelvben formális konvenciók rögzítik és írják le.
Lásd még
További források
- Nyelvi támogatás a gyors és megbízható üzenetalapú kommunikációhoz Singularity OS-ben Archiválva : 2017. december 20. a Wayback Machine -nél . Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus és Steven Levi. Az EuroSys2006 eljárása . Leuven, Belgium, 2006. április. ACM SIGOPS.
- A Singularity Project áttekintése, MSR-TR-2005-135 műszaki jelentés, Microsoft Research , 2005.
C# |
---|
Verziók |
|
---|
TOVÁBB |
|
---|
Összefüggő |
|
---|
Microsoft Research (MSR) |
---|
Főbb projektek | |
---|
MSR Labs | Labs | Tényleges |
|
---|
megszakított |
- Mélyhal
- listák
- Élő vágólap
- Photosynth
- Volta
|
---|
|
---|
Labs |
|
---|
Egyéb osztályok |
|
---|
|
---|
Kategória |