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 postconditions. 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. The code contracts API in the .
| Property | Value |
|---|
| dbpedia-owl:abstract
|
- 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.
- 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 postconditions. 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. The code contracts API in the . NET Framework 4.0 has evolved with Spec#. Microsoft Research developed both Spec# and C#; in turn, Spec# serves as the foundation of the Sing# programming language, which Microsoft Research also developed.
- Spec# — язык программирования с поддержкой особенностей языка спецификаций, расширяющих возможности языка программирования C# Эйфелеподобным контрактным программированием, включая объектные инварианты, предусловия и постусловия. Как и ESC/Java, язык содержит инструмент статической проверки, основанный на доказательстве теоремы, позволяющее статически проверять большинство таких инвариантов. Также он включает в себя множество других не столь значимых дополнений, как например, ненулевые ссылочные типы. Microsoft Research разработала оба языка Spec# и C#; в свою очередь, Spec# послужил основой для создания языка Sing#, разработанный также Microsoft Research.
|
| dbpedia-owl:designer
| |
| dbpedia-owl:developer
| |
| dbpedia-owl:influenced
| |
| dbpedia-owl:influencedBy
| |
| dbpedia-owl:latestReleaseVersion
| |
| dbpedia-owl:wikiPageExternalLink
| |
| dbpprop:designer
| |
| dbpprop:developer
| |
| dbpprop:influenced
| |
| dbpprop:influencedBy
| |
| dbpprop:latestReleaseVersion
| |
| dbpprop:name
| |
| dbpprop:paradigm
| |
| dbpprop:reason
| |
| dbpprop:title
| |
| dbpprop:typing
| |
| dbpprop:website
| |
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:year
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- 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.
- 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 postconditions. 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. The code contracts API in the .
- Spec# — язык программирования с поддержкой особенностей языка спецификаций, расширяющих возможности языка программирования C# Эйфелеподобным контрактным программированием, включая объектные инварианты, предусловия и постусловия. Как и ESC/Java, язык содержит инструмент статической проверки, основанный на доказательстве теоремы, позволяющее статически проверять большинство таких инвариантов.
|
| rdfs:label
|
- Spec-Sharp
- Spec Sharp
- Spec Sharp
|
| owl:sameAs
| |
| foaf:homepage
| |
| foaf:name
| |
| foaf:page
| |
| is dbpedia-owl:influencedBy
of | |
| is dbpedia-owl:wikiPageDisambiguates
of | |
| is dbpedia-owl:wikiPageRedirects
of | |
| is dbpprop:dialects
of | |
| is dbpprop:influencedBy
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
