Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Spec_Sharp> ?p ?o. }
Showing items 1 to 64 of
64
with 100 items per page.
- Spec_Sharp 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.".
- Spec_Sharp designer Microsoft_Research.
- Spec_Sharp developer Microsoft_Research.
- Spec_Sharp influenced Spec_Sharp.
- Spec_Sharp influencedBy C_Sharp_(programming_language).
- Spec_Sharp influencedBy Eiffel_(programming_language).
- Spec_Sharp latestReleaseVersion "1.0.21125".
- Spec_Sharp wikiPageExternalLink specsharp.
- Spec_Sharp wikiPageExternalLink specsharp.
- Spec_Sharp wikiPageExternalLink specsharp.codeplex.com.
- Spec_Sharp wikiPageID "3078904".
- Spec_Sharp wikiPageRevisionID "595612728".
- Spec_Sharp designer Microsoft_Research.
- Spec_Sharp developer Microsoft_Research.
- Spec_Sharp hasPhotoCollection Spec_Sharp.
- Spec_Sharp influenced Spec_Sharp.
- Spec_Sharp influencedBy C_Sharp_(programming_language).
- Spec_Sharp influencedBy Eiffel_(programming_language).
- Spec_Sharp latestReleaseVersion "1".
- Spec_Sharp name "Spec#".
- Spec_Sharp paradigm Design_by_contract.
- Spec_Sharp paradigm Event-driven_programming.
- Spec_Sharp paradigm Functional_programming.
- Spec_Sharp paradigm Imperative_programming.
- Spec_Sharp paradigm Object-oriented_programming.
- Spec_Sharp paradigm Programming_paradigm.
- Spec_Sharp paradigm Structured_programming.
- Spec_Sharp reason "hash".
- Spec_Sharp title "Spec#".
- Spec_Sharp typing Nominal_type_system.
- Spec_Sharp typing Type_system.
- Spec_Sharp website specsharp.
- Spec_Sharp year "2004".
- Spec_Sharp subject Category:C_Sharp_programming_language_family.
- Spec_Sharp subject Category:C_programming_language_family.
- Spec_Sharp subject Category:Class-based_programming_languages.
- Spec_Sharp subject Category:Formal_methods_tools.
- Spec_Sharp subject Category:Formal_specification_languages.
- Spec_Sharp subject Category:Microsoft_Research.
- Spec_Sharp subject Category:Static_program_analysis_tools.
- Spec_Sharp type Abstraction100002137.
- Spec_Sharp type ArtificialLanguage106894544.
- Spec_Sharp type Communication100033020.
- Spec_Sharp type FormalSpecificationLanguages.
- Spec_Sharp type Language106282651.
- Spec_Sharp type ProgrammingLanguage106898352.
- Spec_Sharp type ProgrammingLanguage.
- Spec_Sharp type Software.
- Spec_Sharp type Work.
- Spec_Sharp type CreativeWork.
- Spec_Sharp type InformationEntity.
- Spec_Sharp 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.".
- Spec_Sharp label "Spec Sharp".
- Spec_Sharp label "Spec Sharp".
- Spec_Sharp label "Spec-Sharp".
- Spec_Sharp sameAs Spec-Sharp.
- Spec_Sharp sameAs m.08pytf.
- Spec_Sharp sameAs Q1717800.
- Spec_Sharp sameAs Q1717800.
- Spec_Sharp sameAs Spec_Sharp.
- Spec_Sharp wasDerivedFrom Spec_Sharp?oldid=595612728.
- Spec_Sharp homepage specsharp.
- Spec_Sharp isPrimaryTopicOf Spec_Sharp.
- Spec_Sharp name "Spec#".