From: AdaMagica <christoph.grein@eurocopter.com>
Subject: Safe Pointers
Date: Wed, 30 Dec 2009 09:49:11 -0800 (PST)
Date: 2009-12-30T09:49:11-08:00 [thread overview]
Message-ID: <5b83cdc7-e335-41b4-a985-a43f3465a483@f5g2000yqh.googlegroups.com> (raw)
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:
http://www.christ-usch-grein.homepage.t-online.de/Ada/Safe_Pointers.html
reply other threads:[~2009-12-30 17:49 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox