About: BitC

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.

Property	Value
dbpedia-owl: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.
dbpedia-owl:developer	dbpedia:Johns_Hopkins_University
dbpedia-owl:genre	dbpedia:Compiler
dbpedia-owl:latestPreviewDate	2006-06-17 (xsd:date)
dbpedia-owl:latestPreviewVersion	BitC 0.10.1
dbpedia-owl:latestReleaseDate	2006-02-17 (xsd:date)
dbpedia-owl:latestReleaseVersion	BitCC 0.9.1
dbpedia-owl:license	dbpedia:BSD_licenses
dbpedia-owl:operatingSystem	dbpedia:Cross-platform
dbpedia-owl:wikiPageExternalLink	http://www.coyotos.org/ http://srl.cs.jhu.edu/~shap/ http://www.bitc-lang.org/docs/bitc/spec.pdf http://www.bitc-lang.org/docs/bitc/spec.html http://www.bitc-lang.org/docs/bitc/bitc-origins.pdf http://www.coyotos.org/docs/osverify-2004/osverify-2004.html http://www.bitc-lang.org/ http://www.coyotos.org/pipermail/bitc-dev/ http://www.cse.unsw.edu.au/~formalmethods/events/os-verify-04/ http://www.coyotos.org/docs/osverify-2004/osverify-2004.pdf http://www.bitc-lang.org/docs/bitc/bitc-origins.html http://www.eros-os.com
dbpprop:author	Jonathan S. Shapiro, Swaroop Sridhar, and M. Scott Doerrie
dbpprop:developer	dbpedia:Johns_Hopkins_University Johns Hopkins University, The EROS Group, LLC
dbpprop:genre	dbpedia:Compiler
dbpprop:influencedBy	dbpedia:ML_(programming_language) dbpedia:Haskell_(programming_language)
dbpprop:latestPreviewDate	2006-06-17 (xsd:date)
dbpprop:latestPreviewVersion	BitC 0.10.1
dbpprop:latestReleaseDate	2006-02-17 (xsd:date)
dbpprop:latestReleaseVersion	BitCC 0.9.1
dbpprop:license	dbpedia:BSD_licenses
dbpprop:name	BitC
dbpprop:operatingSystem	dbpedia:Cross-platform
dbpprop:website	http://www.bitc-lang.org/
dbpprop:wikiPageUsesTemplate	dbpedia:Template:Infobox_programming_language dbpedia:Template:Infobox_software
dbpprop:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-software-noun-1
dcterms:subject	category:Systems_programming_languages category:Procedural_programming_languages category:Functional_languages
rdf:type	owl:Thing dbpedia-owl:Software schema:CreativeWork dbpedia-owl:Work yago:Software106566077 yago:ProgrammingLanguAge106898352 yago:FunctionalLanguAges
rdfs: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.
rdfs:label	BitC
owl:sameAs	fbase:BitC
foaf:homepage	http://www.bitc-lang.org/
foaf:name	BitC
foaf:page	http://en.wikipedia.org/wiki/BitC
is dbpedia-owl:influenced of	dbpedia:C_(programming_language)
is dbpedia-owl:wikiPageDisambiguates of	dbpedia:BITC
is dbpedia-owl:wikiPageRedirects of	dbpedia:Bit-C
is dbpprop:influenced of	dbpedia:C_(programming_language)
is owl:sameAs of	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/BitC yago-res:BitC
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/BitC