Sun Sep 21 10:59:47 CEST 2014

Assisted assembler a.k.a. "smart emulators".

So let's assume that machine mapping to a fixed set of primitives is
too difficult.  Let's start out with a concrete machine.  I currently
have 2 I care about:

   - dsPIC33

   - ARM Cortex M4F

Let's build a tool that allows building checked assemblers for new
targets.  A checked assembler allows construction of fully optimized
assembly programs (manual resource allocation) while keeping semantic
mapping in check.

Essentially a semantic check is also ad-hoc specified, but some
essential parts consist of transfer function computation, parameter
sensitivity, noise levels, stability, ...

What about making this into a live-coding instrument as well?