Re: Executable semantics in C

[bearophile]

> even when this doesn't allow a perfectly efficient mapping on every CPU.

Look at Ada to see how this is done. Ada runs on small CPUs&RAM too.

Bye,
bearophile