About: BitC

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: BitC Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : platform.yourdatastories.eu:8890 associated with source document(s)

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.

Attributes	Values
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.
differentFrom	dbpedia:The_Community dbpedia:Business
foaf:name	BitC
foaf:page	http://www.bitc-lang.org/
developer	The Johns Hopkins University http://www.eros-os.com
influenced by	Haskell ML
latest release date	2006-02-17(xsd:dateTime)
latest release version	BitCC 0.9.1
license	dbpedia:BSD_licenses
is influenced of	C

Faceted Search & Find service v1.13.91 as of Nov 14 2017

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3212 as of Mar 29 2016, on Linux (x86_64-unknown-linux-gnu), Single-Server Edition (68 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software