<http://dbpedia.org/resource/BitC>	<http://www.w3.org/2000/01/rdf-schema#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."@en .
<http://dbpedia.org/resource/BitC>	<http://dbpedia.org/ontology/license>	<http://dbpedia.org/resource/BSD_licenses> .
<http://dbpedia.org/resource/BitC>	<http://www.w3.org/2002/07/owl#differentFrom>	<http://dbpedia.org/resource/Business> .
<http://dbpedia.org/resource/BitC>	<http://dbpedia.org/ontology/latestReleaseDate>	"2006-02-17Z"^^<http://www.w3.org/2001/XMLSchema#date> .
<http://dbpedia.org/resource/BitC>	<http://dbpedia.org/ontology/developer>	<http://www.eros-os.com> .
<http://dbpedia.org/resource/BitC>	<http://xmlns.com/foaf/0.1/name>	"BitC"@en .
<http://dbpedia.org/resource/BitC>	<http://dbpedia.org/ontology/latestReleaseVersion>	"BitCC 0.9.1" .
<http://dbpedia.org/resource/BitC>	<http://xmlns.com/foaf/0.1/page>	<http://www.bitc-lang.org/> .
<http://dbpedia.org/resource/BitC>	<http://www.w3.org/2002/07/owl#differentFrom>	<http://dbpedia.org/resource/The_Community> .
<http://dbpedia.org/resource/BitC>	<http://dbpedia.org/ontology/developer>	<http://dbpedia.org/resource/Johns_Hopkins_University> .
<http://dbpedia.org/resource/BitC>	<http://dbpedia.org/ontology/influencedBy>	<http://dbpedia.org/resource/Haskell_(programming_language)> .
<http://dbpedia.org/resource/BitC>	<http://dbpedia.org/ontology/influencedBy>	<http://dbpedia.org/resource/ML_(programming_language)> .