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…
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…