Re: Ada GC (Henry Baker)
3 Feb 1996 12:20:11 -0500

          From comp.compilers

Related articles
Possible to write compiler to Java VM? (I volunteer to summarize) (Peter Seibel) (1996-01-17)
Re: Ada GC (1996-01-29)
Re: Ada GC (was about Java VM) (1996-02-01)
Re: Ada GC (1996-02-02)
Re: Ada GC (1996-02-02)
Re: Ada GC (1996-02-03)
Re: Ada GC (1996-02-04)
Re: Ada GC (1996-02-04)
Re: Ada GC (1996-02-04)
Re: Ada GC (1996-02-04)
Re: Ada GC (1996-02-04)
Re: Ada GC (Ken & Virginia Garlington) (1996-02-04)
[17 later articles]
| List of all articles for this month |

From: (Henry Baker)
Newsgroups: comp.compilers,comp.lang.ada
Date: 3 Feb 1996 12:20:11 -0500
Organization: nil organization
References: 96-01-037 96-02-003 96-02-023
Keywords: Ada, GC (Robert A Duff) wrote:

> Some have pointed out that is difficult to *require* GC in a language
> standard, because it's difficult to *formally* specify what it means
> to have GC.

It's no harder to formally specify what it means to 'have GC' than it
is to specify what it means to be 'real-time'. Both storage & time
are resources which have been quantified in a measurable manner.
Since Ada/83/95 claims to be good for 'real-time', then I presume that
the Ada specifications make clear what the bounds for the various
primitive operations are, and which of these bounds are O(1), O(log
n), O(n), etc. (Ada doesn't do this? Pity. Then I guess Ada can't
be used for real-time systems. :-)

www/ftp directory:

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.