Matches in DBpedia 2014 for { <http://dbpedia.org/resource/BitC> ?p ?o. }
Showing items 1 to 60 of
60
with 100 items per page.
- 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 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 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 wikiPageRevisionID "565206962".
- 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_licenses.
- BitC name "BitC".
- BitC website www.bitc-lang.org.
- BitC wordnet_type synset-software-noun-1.
- 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 type Abstraction100002137.
- BitC type ArtificialLanguage106894544.
- BitC type Communication100033020.
- BitC type FunctionalLanguages.
- BitC type Language106282651.
- BitC type ProgrammingLanguage106898352.
- BitC type ProgrammingLanguagesCreatedIn2004.
- BitC type ProgrammingLanguage.
- BitC type Software.
- BitC type Work.
- BitC type CreativeWork.
- BitC type InformationEntity.
- 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 sameAs m.09sj9r.
- BitC sameAs Q4918681.
- BitC sameAs Q4918681.
- BitC sameAs BitC.
- BitC wasDerivedFrom BitC?oldid=565206962.
- BitC homepage www.bitc-lang.org.
- BitC isPrimaryTopicOf BitC.
- BitC name "BitC".