Spec Sharp

Spec Sharp

Spec# is a programming language with specification language features that extends the capabilities of the C# programming language with Eiffel-like contracts, including object invariants, preconditions and post-conditions. Like ESC/Java, it includes a static checking tool based on a theorem prover that is able to statically verify many of these invariants. It also includes a variety of other minor extensions to the language, such as non-null reference types.

Microsoft Research developed both Spec# and C#; in turn, Spec# serves as the foundation of the Sing# programming language, which Microsoft Research also developed.

ources

* Barnett, M., K. R. M. Leino, W. Schulte, "The Spec# Programming System: An Overview." "Proceedings of Construction and Analysis of Safe, Secure and Interoperable Smart Devices (CASSIS)", Marseilles. Springer-Verlag, 2004.

ee also

* Eiffel
* Singularity
* Sing#
* C#

External links

* [http://research.microsoft.com/specsharp/ Spec# website] from Microsoft Research


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Spec Sharp — Эта статья или раздел  грубый перевод статьи на другом языке (см. Проверка переводов). Он мог быть сгенерирован программой переводчиком или сделан человеком со слабыми познаниями в языке оригинала. Вы можете помочь …   Википедия

  • Spec-Sharp — Der korrekte Titel dieses Artikels lautet „Spec#“. Diese Schreibweise ist aufgrund technischer Einschränkungen nicht möglich …   Deutsch Wikipedia

  • Spec — steht für: Standard Performance Evaluation Corporation Spec steht für: Spezifikation (von engl. specification) spec. steht für: eine nicht näher bezeichnete Spezies in der biologischen Systematik als Zusatz hinter dem wissenschaftlichen Namen der …   Deutsch Wikipedia

  • C Sharp syntax — The correct title of this article is C# syntax. The substitution or omission of the # sign is because of technical restrictions. Main article: C Sharp (programming language) This article describes the syntax of the C# programming language. The… …   Wikipedia

  • C Sharp — Dieser Artikel behandelt die Programmiersprache C#. In der Musik bezeichnet C# (bzw. C♯) den Ton Cis. C# Paradigmen: strukturiert, imperativ, objektorientiert, funktional Erscheinungsjahr …   Deutsch Wikipedia

  • Sing Sharp — Правильный заголовок этой статьи  Sing#. Он показан некорректно из за технических ограничений. Sing# Класс языка: мультипарадигменный: структурный, императивный, объектно ориентированный, событийно ориентированный, функциональный,… …   Википедия

  • C Sharp (programming language) — The correct title of this article is C# (programming language). The substitution or omission of the # sign is because of technical restrictions. C# Paradigm(s) multi paradigm: structured, imperative …   Wikipedia

  • C Sharp — У этого термина существуют и другие значения, см. C. Правильный заголовок этой статьи  C#. Он показан некорректно из за технических ограничений. C# Семантика: императивный Класс языка: мультипарадигменный: объектно ориентированный,… …   Википедия

  • Sing Sharp — Sing# is a concurrent programming language that is a superset of the Spec# programming language; in turn, Spec# is an extension of the C# programming language. Microsoft Research developed Spec#, and later extended it into Sing# in order to… …   Wikipedia

  • Comparison of C Sharp and Java — The correct title of this article is Comparison of C# and Java. The substitution or omission of the # sign is because of technical restrictions. Programming language comparisons General comparison Basic syntax Basic instructions …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”