[gpm]

These days I'd say "sounds like wasm" but I guess 2015 was a bit before that took off.

[pjmlp]

There have been enough bytecodes since UNCOL in 1958 to chose from, and embedded is full of them, nothing special about WASM.

[jacquesm]

Sounds like p-code.