Sing-Sharp

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

Sing# ist eine Programmiersprache, die sich vom C#-Derivat Spec# ableitet.

Dieser Artikel wurde von Wikipedia herausgegeben. Der Text ist unter Creative Commons Attribution-Share Alike 4.0 verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.