Singularity ist ein Microsoft-Forschungsprojekt zum Aufbau eines hochgradig zuverlässigen Mikrokernel-Betriebssystems, bei dem Kernel, Gerätetreiber und Anwendungen alle in verwaltetem Code geschrieben werden. Mehr als 90% des OS-Kernels sind in Sing# geschrieben, einer Erweiterung der C#-Hochsprachensprache.
Microsoft Research Singularity
Singularity ist ein Forschungsprojekt, das sich auf den Aufbau zuverlässiger Systeme durch Innovation in den Bereichen Systeme, Sprachen und Werkzeuge konzentriert. Wir bauen einen Prototyp eines Forschungsbetriebssystems (Singularity genannt), erweitern Programmiersprachen und entwickeln neue Techniken und Werkzeuge zur Spezifikation und Verifizierung des Programmverhaltens.