Sun Sep 21 10:48:25 CEST 2014

What is the real problem to solve?

Writing safe machine code.
What does this boil down to?

- Safe memory and type management
- Safe semantics

The former isn't hard to do in generated code, though the latter is
harder since there is only machine semantics.  Solution is to write an
abstract interpretation of the machine code data processing primitives.

How hard is it to generalize this?

I can imagine working bottom-up, i.e. starting with the machine's
computing primtives, and adding a semantics on top.

Currently in rai, the primitives are too high level.  Too polite :)

The problem I'm trying to solve is to write an "assisted assembler".