** Reply to message from Mark Lundquist <[log in to unmask]> on Mon, 1 Mar 1999
> I would say: use both.
> Manual management of dynamic objects can be quite tedious and
> error-prone. It's better to design for as much robustness as you can,
> *and* use verification tools to try to catch whatever errors are left.
There's also the third option of using the Ada code with a commercial garbage
collector like Geodesic Systems' Great Circle. This doesn't take away from the
idea of using multiple approaches; it just suggests another approach that can be
added into the mix if it suits the application. And GC does suit a lot of