Sun Jul 19 09:09:57 CEST 2009
It looks like this diverging/converging semantics problem really needs
a good way to specify bottom line operational semantics.
Can this bottom line be expressed in terms of a proto Forth machine
instead of lisp or dataflow?
I am very confused atm... It seems this is all somewhat
straightforward: i don't see any _real_ problem other than encoding
the vague description in a collection of data structures.. However, I
don't seem to see how to start. This makes me think I'm
underestimating a certain element.
Let's pick up the data flow language again, and build an ALU
simulator to see how exactly the specification would go for the dasm
<-> alu connection to make the simulator.