Annotating Your Code

1. Rename your file C file.c to file.DyC.
2. Annotate the code as specified in the annotations document.
3. Use dyc2c to convert the high-level annotations to C function calls that are passed to our compiler phase:

   dyc2c file.DyC
   

   Note that the current version of dyc2c, multiple-exit dynamic regions may not include precisely the code that you expect. The reason for this is that the script currently does not identify branches that may circumvent a region's end-marker.
4. Compile file.c, which was created by dyc2c.

Last updated August 22, 1996.
Brian Grant (grant@cs.washington.edu)