Implementation and performance evaluation of a safe runtime system in Cyclone (2004)

by Matthew Fluet, Daniel Wang
Venue:In Informal Proceedings of the SPACE 2004 Workshop