BitC is a systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLCas part of the Coyotos project. It aims to support formal program verification.
BitC is no longer under active development.
The language has two primary objectives:
The goals for the BitC language were set out in 2004 in Towards a Verified, General-Purpose Operating System Kernel (html, pdf) presented at the 2004 NICTA OS Verific...
more
BitC is a systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLCas part of the Coyotos project. It aims to support formal program verification.
BitC is no longer under active development.
The language has two primary objectives:
The goals for the BitC language were set out in 2004 in Towards a Verified, General-Purpose Operating System Kernel (html, pdf) presented at the 2004 NICTA OS Verification Workshop.
Some details of the origins and early evolution of the language can be found in The Origins of the BitC Programming Language (html, pdf). An early compiler for BitC, known as BitCC, was first released in an alpha form (v. 0.10.1) on June 17, 2006, and in the same year Shapiro left Johns Hopkins to form The EROS Group, LLC, and the BitC project became a joint effort between the two organizations.
At the end of 2008 the specification for the first released version of the language and its compiler converged towards its final form,...
less
