You may find these two article interesting prior art, which I happen to be very familiar with. :) Implementation and performance evaluation of a safe runtime s

You may find these two article interesting prior art, which I happen to be very familiar with. :) Implementation and performance evaluation of a safe runtime system in Cyclone http://scholar.google.com/citations?view_op=view_citation&hl=en&user=rlxeD9sAAAAJ&citation_for_view=rlxeD9sAAAAJ:IjCSPb-OGe4C http://scholar.google.com/citations?view_op=view_citation&hl... Type-preserving garbage collectors http://scholar.google.com/citations?view_op=view_citation&hl=en&user=rlxeD9sAAAAJ&citation_for_view=rlxeD9sAAAAJ:d1gkVwhDpl0C http://scholar.google.com/citations?view_op=view_citation&hl...