This document describes language and tool migration from old CAST to HAC tools.
This document can also be found online at http://www.csl.cornell.edu/~fang/hackt/cast2hac.
The main project home page is http://www.csl.cornell.edu/~fang/hackt/.
Copyright © 2007 Cornell University
Published by ...Permission is hereby granted to ...