Canta fuerte

Cantar#
clase de idioma multi- paradigma: estructural , imperativo , orientado a objetos , orientado a eventos , funcional , contractual
Apareció en 2005
Autor Investigación de Microsoft
Desarrollador Investigación de Microsoft
Liberar 1.0.21125
sistema de tipos estático , estricto , tipo seguro , nominativo
sido influenciado Especificaciones#
Licencia Licencia de investigación de Microsoft
Sitio web research.microsoft.com/e…

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