The Path to BitC
At some point during the Coyotos project, we realized that we wanted a safer and more expressive programming language. Also, we wanted a language that we could analyze more readily using model checkers and formal verifiers. BitC is a first step toward realizing this objective.
Jonathan S. Shapiro
December, 2004