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