[bitc-dev] Region-based Memory Management?

[Jørgen Hermanrud Fjeld]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.coyotos.org/pipermail/bitc-dev/attachments/20050129/49d4fd9e/attachment.bin