IAPBLUE 2003 Documentation
Lecture notes and handouts from the class will be posted on the schedule page. This page provides general reference documentation on the Bluespec language and compiler. It is provided here for course participants. This information will be made available on the Bluespec website for the general public.
Downloading the Bluespec compiler
The Bluespec compiler is downloadable for free from www.bluespec.com under individual or institutional licenses. MIT has an institutional license for Bluespec. Please contact Jacob Schwartz for information on using the MIT license to download the compiler to MIT machines. For this course we will create an account for any participant who wants to use Bluespec on one of our machines.
Source code for the standard prelude and libraries