Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/BitC> ?p ?o }
- BitC abstract "BitC is a systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLC as part of the Coyotos project. It aims to support formal program verification.".
- BitC developer Johns_Hopkins_University.
- BitC developer www.eros-os.com.
- BitC influencedBy Haskell_(programming_language).
- BitC influencedBy ML_(programming_language).
- BitC latestReleaseDate "2006-02-17".
- BitC latestReleaseVersion "BitCC 0.9.1".
- BitC license BSD_licenses.
- BitC wikiPageExternalLink ~shap.
- BitC wikiPageExternalLink www.bitc-lang.org.
- BitC wikiPageExternalLink bitc-origins.html.
- BitC wikiPageExternalLink bitc-origins.pdf.
- BitC wikiPageExternalLink spec.html.
- BitC wikiPageExternalLink spec.pdf.
- BitC wikiPageExternalLink the-bitc-programming-language.
- BitC wikiPageExternalLink www.coyotos.org.
- BitC wikiPageExternalLink osverify-2004.html.
- BitC wikiPageExternalLink osverify-2004.pdf.
- BitC wikiPageExternalLink bitc-dev.
- BitC wikiPageExternalLink os-verify-04.
- BitC wikiPageExternalLink www.eros-os.com.
- BitC wikiPageID "3654729".
- BitC wikiPageLength "6203".
- BitC wikiPageOutDegree "28".
- BitC wikiPageRevisionID "651900884".
- BitC wikiPageWikiLink BSD_license.
- BitC wikiPageWikiLink BSD_licenses.
- BitC wikiPageWikiLink Boxed_type.
- BitC wikiPageWikiLink C_(programming_language).
- BitC wikiPageWikiLink Category:Functional_languages.
- BitC wikiPageWikiLink Category:Procedural_programming_languages.
- BitC wikiPageWikiLink Category:Programming_languages_created_in_2004.
- BitC wikiPageWikiLink Category:Systems_programming_languages.
- BitC wikiPageWikiLink Coyotos.
- BitC wikiPageWikiLink Formal_verification.
- BitC wikiPageWikiLink Functional_programming.
- BitC wikiPageWikiLink Haskell_(programming_language).
- BitC wikiPageWikiLink Hindley–Milner_type_system.
- BitC wikiPageWikiLink Johns_Hopkins_University.
- BitC wikiPageWikiLink Kernel_(computer_science).
- BitC wikiPageWikiLink Kernel_(operating_system).
- BitC wikiPageWikiLink Let-polymorphism.
- BitC wikiPageWikiLink Lisp_(programming_language).
- BitC wikiPageWikiLink Lisp_programming_language.
- BitC wikiPageWikiLink Low-level_programming_language.
- BitC wikiPageWikiLink ML_(programming_language).
- BitC wikiPageWikiLink Microkernel.
- BitC wikiPageWikiLink Microsoft.
- BitC wikiPageWikiLink Midori_(operating_system).
- BitC wikiPageWikiLink Object_type_(object-oriented_programming).
- BitC wikiPageWikiLink Program_verification.
- BitC wikiPageWikiLink Purely_functional.
- BitC wikiPageWikiLink System_programming.
- BitC wikiPageWikiLink Systems_programming.
- BitC wikiPageWikiLink Type_inference.
- BitC wikiPageWikiLinkText "BitC".
- BitC designer "Jonathan S. Shapiro, Swaroop Sridhar, and M. Scott Doerrie".
- BitC developer "Johns Hopkins University, The EROS Group, LLC".
- BitC hasPhotoCollection BitC.
- BitC influencedBy Haskell_(programming_language).
- BitC influencedBy ML_(programming_language).
- BitC latestReleaseDate "2006-02-17".
- BitC latestReleaseVersion "BitCC 0.9.1".
- BitC latestTestDate "2008-09-28".
- BitC latestTestVersion "BitC 0.11+ Transitional".
- BitC license BSD_license.
- BitC license BSD_licenses.
- BitC name "BitC".
- BitC website www.bitc-lang.org.
- BitC wikiPageUsesTemplate Template:Clarify.
- BitC wikiPageUsesTemplate Template:Distinguish.
- BitC wikiPageUsesTemplate Template:Infobox_programming_language.
- BitC subject Category:Functional_languages.
- BitC subject Category:Procedural_programming_languages.
- BitC subject Category:Programming_languages_created_in_2004.
- BitC subject Category:Systems_programming_languages.
- BitC hypernym Language.
- BitC type Article.
- BitC type Language.
- BitC type ProgrammingLanguage.
- BitC type Software.
- BitC type Work.
- BitC type Article.
- BitC type Language.
- BitC type CreativeWork.
- BitC type Thing.
- BitC type Q386724.
- BitC type Q7397.
- BitC type Q9143.
- BitC comment "BitC is a systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLC as part of the Coyotos project. It aims to support formal program verification.".
- BitC label "BitC".
- BitC differentFrom Business.
- BitC differentFrom The_Community.
- BitC sameAs BitC.
- BitC sameAs m.09sj9r.
- BitC sameAs BitC.
- BitC sameAs Q4918681.
- BitC sameAs Q4918681.
- BitC wasDerivedFrom BitC?oldid=651900884.
- BitC homepage www.bitc-lang.org.