BCPL virtual machine

I’ll throw out my guess: no. Based on reading about virtual machines and microcode around that era. For example, the Alto would have been a prime target, since BCPL was a popular language for that machine. But the compiler and microcode targeted Nova (like) machine code. PS. By some odd quirk, the Alto BCPL compiler was based on the one for the Lincoln Labs TX-2.