BitC

From Wikipedia, the free encyclopedia

BitC
Design by Researchers at the Johns Hopkins University
Latest release BitCC 0.9.1 / February 17, 2006
Preview release BitC 0.10.1 / June 17, 2006
OS Coyotos
Genre Compiler
Website http://www.bitc-lang.org/


BitC is a programming language currently being developed by researchers[1] at the Johns Hopkins University, as part of the Coyotos project. One of the objectives of BitC is to support formal program verification of low-level systems programs, such as kernels/microkernels.

It is an innovative language in that it combines the concepts and syntax of functional programming languages like Lisp with the close hardware interaction of low-level programming languages like C.

[edit] History

Jonathan Shapiro has been a driving force behind both BitC and Coyotos[2].

[edit] Status

BitC is currently under simultaneous development with the main Coyotos project. The new compiler for BitC, known as BitCC, was released in an alpha form (v. 0.10.1) on June 17, 2006.

[edit] External links