BitC

BitC is a programming language currently being developed by researchers1 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 Haskell-like programming language that combines the concepts and syntax of functional programming languages like Lisp with the close hardware interaction of low-level programming languages like C.

History

Jonathan Shapiro has been a driving force behind both BitC and Coyotos2.

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.

External links

• BitC homepage
• BitC Language Specification
• BitC-dev mailing list archives
• Coyotos homepage
• Jonathan Shapiro's homepage