Sing# Paradigmen: multiparadigmatisch: strukturiert, imperativ, objektorientiert, ereignisorientiert, funktional Erscheinungsjahr: 2005 Entwickler: Microsoft Research Typisierung: statisch, stark Beeinflusst von: Spec# Betriebssystem: Singularity