About: Spec#

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Spec# Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : platform.yourdatastories.eu:8890 associated with source document(s)

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.

Attributes	Values
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.
foaf:name	Spec#
foaf:page	http://research.microsoft.com/specsharp/
designer	dbpedia:Microsoft_Research
developer	dbpedia:Microsoft_Research
influenced	Spec#
influenced by	C# Eiffel
latest release date	2011-10-07(xsd:dateTime)
latest release version	SpecSharp 2011-10-03
is influenced of	Spec#
is programming language of	Singularity Project

Faceted Search & Find service v1.13.91 as of Nov 14 2017

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3212 as of Mar 29 2016, on Linux (x86_64-unknown-linux-gnu), Single-Server Edition (68 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software