controlling resource usage

Jon Fairbairn
Tue, 11 Sep 2001 19:35:27 +0100

> Sounds to me like your describing Sittampalam's and de Moor's MAG syste=

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 Fairbairn                       
31 Chalmers Road                               
Cambridge CB1 3SZ            +44 1223 570179 (after 14:00 only, please!)