News
10 November 2010: To-Do list for full release
here, though you might prefer
to locate that page from the index.
10 November 2010: S-expression syntax finally
retired. Still need to update the specification.
7 October 2010: VIM and Emacs modes now in the tree.
25(?) September 2010: Mixfix implementation completed.
31 August 2010:
Instructions for fetching via mercurial.
26 August 2010: Doc describing implementation of layout.
Info
People
History
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