Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Safe Pointers
0 views
Skip to first unread message
AdaMagica
Dec 30, 2009, 12:49:11 PM12/30/09
to
Safe Pointers provide a reference counting facility to deal with
access types without compromizing safety, i.e. safe pointers clean up
behind themselves properly; no dangling references can ever be
produced.
Ada 95 and Ada 2005 differ enough so that two versions exist. A new
Ada 2005 version is ready:
access types without compromizing safety, i.e. safe pointers clean up
behind themselves properly; no dangling references can ever be
produced.
Ada 95 and Ada 2005 differ enough so that two versions exist. A new
Ada 2005 version is ready:
http://www.christ-usch-grein.homepage.t-online.de/Ada/Safe_Pointers.html
0 new messages