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#.

Property Value
dbo:abstract
  • 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. (en)
dbo:designer
dbo:developer
dbo:influenced
dbo:influencedBy
dbo:latestReleaseVersion
  • SpecSharp 2011-10-03
dbo:wikiPageEditLink
dbo:wikiPageExternalLink
dbo:wikiPageExtracted
  • 2019-06-16 18:17:07Z (xsd:date)
dbo:wikiPageHistoryLink
dbo:wikiPageID
  • 3078904 (xsd:integer)
dbo:wikiPageLength
  • 4897 (xsd:integer)
dbo:wikiPageModified
  • 2018-08-31 12:33:08Z (xsd:date)
dbo:wikiPageOutDegree
  • 52 (xsd:integer)
dbo:wikiPageRevisionID
  • 857396852 (xsd:integer)
dbo:wikiPageRevisionLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • 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#. (en)
rdfs:label
  • Spec Sharp (en)
owl:sameAs
foaf:isPrimaryTopicOf
foaf:name
  • Spec# (en)
is dbo:wikiPageRedirects of
is foaf:primaryTopic of