[bitc-dev] Region-based Memory Management?
Jørgen Hermanrud Fjeld
jhf at hex.no
Sat Jan 29 14:54:05 EST 2005
I wondered about the relevance of region based memory managment  to
BitC, as in the work on memory regions in Cyclone .
Cyclone is an extension of C that provides memory region
annotations and memory region inference such that one can avoid
If you must provide pointers, how would you then prevent dangling
pointers, if not by some mechanism such as memory regions?
Sincerely | Homepage:
Jørgen | http://www.hex.no/jhf
| Public GPG key:
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 189 bytes
Desc: Digital signature
Url : http://www.coyotos.org/pipermail/bitc-dev/attachments/20050129/49d4fd9e/attachment.bin
More information about the bitc-dev