UCSD P-Code

Was a concrete VM of historical note as an early OS for some microcomputers; it was based on Pascal's operational model, and implemented in UCSD Pascal - which was also the most used language on the platform.