Sing# ist eine Programmiersprache, die sich vom C#-Derivat Spec# ableitet. ==Bedeutung== Die Programmiersprache wurde von Microsoft Research mit dem Forschungsprojekts Singularity entwickelt. In Sing# geschriebene Anwendungen greifen dabei nicht, wie beispielsweise C#-Applikationen, auf Microsofts CLR (Common Language Runtime) oder aus anderen Spr...