Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Spec_Sharp> ?p ?o }
- 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 latestReleaseDate "2011-10-07".
- Spec_Sharp latestReleaseVersion "SpecSharp 2011-10-03".
- Spec_Sharp wikiPageExternalLink specsharp.
- Spec_Sharp wikiPageExternalLink specsharp.
- Spec_Sharp wikiPageExternalLink specsharp.codeplex.com.
- Spec_Sharp wikiPageID "3078904".
- Spec_Sharp wikiPageLength "4623".
- Spec_Sharp wikiPageOutDegree "50".
- Spec_Sharp wikiPageRevisionID "677947685".
- Spec_Sharp wikiPageWikiLink .NET_Framework.
- Spec_Sharp wikiPageWikiLink C_Sharp_(programming_language).
- Spec_Sharp wikiPageWikiLink C_Sharp_syntax.
- Spec_Sharp wikiPageWikiLink Category:C_Sharp_programming_language_family.
- Spec_Sharp wikiPageWikiLink Category:C_programming_language_family.
- Spec_Sharp wikiPageWikiLink Category:Class-based_programming_languages.
- Spec_Sharp wikiPageWikiLink Category:Formal_methods_tools.
- Spec_Sharp wikiPageWikiLink Category:Formal_specification_languages.
- Spec_Sharp wikiPageWikiLink Category:Microsoft_Research.
- Spec_Sharp wikiPageWikiLink Category:Static_program_analysis_tools.
- Spec_Sharp wikiPageWikiLink Checked_exceptions.
- Spec_Sharp wikiPageWikiLink Class_invariant.
- Spec_Sharp wikiPageWikiLink CodePlex.
- Spec_Sharp wikiPageWikiLink Codeplex.
- Spec_Sharp wikiPageWikiLink Design_by_Contract.
- Spec_Sharp wikiPageWikiLink Design_by_contract.
- Spec_Sharp wikiPageWikiLink Java.
- Spec_Sharp wikiPageWikiLink Eiffel_(programming_language).
- Spec_Sharp wikiPageWikiLink Event-driven_programming.
- Spec_Sharp wikiPageWikiLink Exception_handling.
- Spec_Sharp wikiPageWikiLink Functional_programming.
- Spec_Sharp wikiPageWikiLink Imperative_programming.
- Spec_Sharp wikiPageWikiLink Java_(programming_language).
- Spec_Sharp wikiPageWikiLink Low-level_programming_language.
- Spec_Sharp wikiPageWikiLink Microsoft_Research.
- Spec_Sharp wikiPageWikiLink Multi-paradigm_programming_language.
- Spec_Sharp wikiPageWikiLink Nominal_type_system.
- Spec_Sharp wikiPageWikiLink Nominative_type_system.
- Spec_Sharp wikiPageWikiLink Object-oriented_programming.
- Spec_Sharp wikiPageWikiLink Object_invariant.
- Spec_Sharp wikiPageWikiLink Operating_system.
- Spec_Sharp wikiPageWikiLink Programming_language.
- Spec_Sharp wikiPageWikiLink Programming_paradigm.
- Spec_Sharp wikiPageWikiLink Sing_sharp.
- Spec_Sharp wikiPageWikiLink Singularity_(operating_system).
- Spec_Sharp wikiPageWikiLink Spec_Sharp.
- Spec_Sharp wikiPageWikiLink Specification_language.
- Spec_Sharp wikiPageWikiLink Springer-Verlag.
- Spec_Sharp wikiPageWikiLink Springer_Science+Business_Media.
- Spec_Sharp wikiPageWikiLink Structured_programming.
- Spec_Sharp wikiPageWikiLink Subset.
- Spec_Sharp wikiPageWikiLink System_software.
- Spec_Sharp wikiPageWikiLink Type_system.
- Spec_Sharp wikiPageWikiLinkText "Spec Sharp".
- Spec_Sharp wikiPageWikiLinkText "Spec# language".
- Spec_Sharp wikiPageWikiLinkText "Spec#".
- Spec_Sharp wikiPageWikiLinkText "Spec_Sharp".
- Spec_Sharp designer Microsoft_Research.
- Spec_Sharp developer Microsoft_Research.
- Spec_Sharp hasPhotoCollection Spec_Sharp.
- Spec_Sharp influenced Sing_sharp.
- Spec_Sharp influenced Spec_Sharp.
- Spec_Sharp influencedBy C_Sharp_(programming_language).
- Spec_Sharp influencedBy Eiffel_(programming_language).
- Spec_Sharp latestReleaseDate "2011-10-07".
- Spec_Sharp latestReleaseVersion "SpecSharp 2011-10-03".
- Spec_Sharp name "Spec#".
- Spec_Sharp paradigm Design_by_Contract.
- 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 Multi-paradigm_programming_language.
- 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 Nominative_type_system.
- Spec_Sharp typing Type_system.
- Spec_Sharp website specsharp.
- Spec_Sharp wikiPageUsesTemplate Template:Compu-lang-stub.
- Spec_Sharp wikiPageUsesTemplate Template:Correct_title.
- Spec_Sharp wikiPageUsesTemplate Template:Infobox_programming_language.
- Spec_Sharp wikiPageUsesTemplate Template:Microsoft_Research.
- 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 hypernym Language.