Also it might be worth examining GNU Lightning(http://www.gnu.org/software/lightning/) and the NJ Machine Code Toolkit(http://www.eecs.harvard.edu/~nr/toolkit/) jason