BitC Documentation
The BitC Language and System
BitC Language Change History (Version 0.10) [pdf]
Jonathan Shapiro, Ph.D., Swaroop Sridhar, Scott Doerrie
History of changes to the BitC language design.
BitC Language Specification (Version 0.10+) [pdf]
Jonathan Shapiro, Ph.D., Swaroop Sridhar, Scott Doerrie
Provisional specification for the BitC programming language.
BitCC Release Notes (Version 0.9.1) [pdf]
Jonathan Shapiro, Ph.D., Swaroop Sridhar
Release notes for BitCC version 0.9.1.
Closure Implementation in BitC (Preliminary Implementation Note) [pdf]
Jonathan Shapiro, Ph.D.
Notes on closure construction for BitC.
Design of Type and Mutability Inference in BitC (SRL Technical Report SRL2006-01) [pdf]
Swaroop Sridhar, Jonathan Shapiro, Ph.D.
Discussion about the issues with type inference in the presence of unboxed mutability.
Published Papers
Papers about Coyotos or BitC.
Towards a Verified, General-Purpose Operating System Kernel [pdf]
Jonathan Shapiro, Ph.D., Michael Scott Doerrie, Eric Northup, Swaroop Sridhar, Mark Miller
Describes our approach to creating a fully verified capability-based kernel and system.