I just read your comments about you JIT compiler using reference counting with global optimization (see https://news.ycombinator.com/item?id=32283392 https://ne

I just read your comments about you JIT compiler using reference counting with global optimization (see https://news.ycombinator.com/item?id=32283392 https://news.ycombinator.com/item?id=32283392, unfortunately reply is disabled, so I comment here). Could you please provide more details, or some relevant paper or book references on how this works? I'm currently looking for a lean, sufficiently efficient solution for my Oberon+ runtime (see https://github.com/rochus-keller/Oberon https://github.com/rochus-keller/Oberon ); I evaluated different solutions, one e.g. based on MPS, but I would prefer something which is lean and as simple as possible; so hints are welcome.