I wondered about the relevance of region based memory managment [1] to BitC, as in the work on memory regions in Cyclone [2]. Cyclone is an extension of C that provides memory region annotations and memory region inference such that one can avoid dangling pointers. If you must provide pointers, how would you then prevent dangling pointers, if not by some mechanism such as memory regions?
[1] http://www.research.att.com/projects/cyclone/papers/cyclone-regions.pdf [2] http://www.research.att.com/projects/cyclone/ -- Sincerely | Homepage: J�rgen | http://www.hex.no/jhf | Public GPG key: | http://www.hex.no/jhf/key.txt
signature.asc
Description: Digital signature
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
