controlling resource usage

[Jon Fairbairn]

> Sounds to me like your describing Sittampalam's and de Moor's MAG syste=
m.
>   http://web.comlab.ox.ac.uk/oucl/research/areas/progtools/mag.htm

Yes! That's very close to what I was thinking of. The only
difference is that they focus on source to source
transformations, where I was thinking of making the whole
compilation (after type-checking) available for
modification, in particular being able to play with store
usage would be useful.

  J=F3n

-- =

J=F3n Fairbairn                                 Jon.Fairbairn@cl.cam.ac.u=
k
31 Chalmers Road                                         jf@cl.cam.ac.uk
Cambridge CB1 3SZ            +44 1223 570179 (after 14:00 only, please!)