Canta fuerte
Sing# , un lenguaje de programación con soporte para concurrencia , es una extensión del lenguaje de programación Spec# , que, a su vez, es una extensión del lenguaje C# . Microsoft Research desarrolló Spec# y luego lo extendió a Sing# para desarrollar el sistema operativo Singularity . Sing# amplía Spec# al admitir canalizaciones y construcciones de lenguaje de programación de bajo nivel necesarias para implementar el software del sistema . El lenguaje Sing# es de tipo seguro . La semántica de las primitivas de paso de mensajes en el lenguaje Sing# está fijada y descrita por convenciones formales.
Véase también
Fuentes adicionales
- Soporte de idiomas para una comunicación basada en mensajes rápida y confiable en el sistema operativo Singularity . Archivado el 20 de diciembre de 2017 en Wayback Machine . Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus y Steven Levi. Actas de EuroSys2006 . Lovaina, Bélgica, abril de 2006. ACM SIGOPS.
- Una descripción general del Proyecto Singularity , Informe técnico MSR-TR-2005-135, Microsoft Research , 2005.
C# |
---|
Versiones |
|
---|
EN |
|
---|
Relacionado |
|
---|
Investigación de Microsoft (MSR) |
---|
Principales proyectos | |
---|
Laboratorios MSR | laboratorios | Actual |
- Pivote
- Dragón marino
- acercamiento profundo
- DeepZoomPix
|
---|
interrumpido |
- pez profundo
- listas
- Portapapeles en vivo
- fotosíntesis
- voltaje
|
---|
|
---|
laboratorios |
|
---|
Otras divisiones |
|
---|
|
---|
Categoría |