UBF: results (3 of 3)

UBF experience so far
want to separate contract checker and UBF server
backward lists unfriendly to pipelines - [ a b c ] alternative?
similarly, should semantic tag precede value it modifies?
allow alternative radix on integers - 0x? 16#?

some payoff already
UBF(B) grammar/contract is checkable/executable
Erlang simulator also helps validate design