[gclist] Re: gclist-digest V1 #42

[Nick Barnes]

> > > To put gc in a *language definition*, one would need a model of storage
> > > usage that is far more detailed than is typical.
> > 
> > I think it would be a useful exercise, and now that I think about 
> > it, not incredibly difficult, either.
> 
> Yes, I agree it would be useful, and perhaps even feasible.  But I don't
> think it's easy.  (Nobody's done it, that I know of.)

Counter-example 1: Level 2 PostScript. See section 3.7 (especially
3.7.4) of the Red Book.

Nick Barnes