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.