Spec-Sharp
| Spec# | |
|---|---|
| Basisdaten | |
| Paradigmen: | Objektorientierte Programmiersprache |
| Erscheinungsjahr: | 2004 |
| Entwickler: | Microsoft Research |
| Aktuelle Version: | SpecSharp 2011-10-03 (7. Oktober 2011) |
| Typisierung: | stark |
| Beeinflusst von: | C# |
| Betriebssystem: | alle mit CLR |
| research.microsoft.com/SpecSharp | |
Spec# ist eine von Microsoft Research entwickelte objektorientierte Programmiersprache, die eine Erweiterung zum etablierten C# ist. Sie ist kostenlos und u. a. für die Entwicklungsumgebungen Microsoft Visual Studio 2003, 2005 und 2008 verfügbar und bildet zusätzlich den Grundstock für Sing#. Diese Sprache wurde für das Projekt Singularity entwickelt. Die Konzepte sind zum Teil als Code Contracts in Visual Studio 2010 eingeflossen.