Editing Stack machine (section)

===Virtual stack machines===
Examples of [[Virtual machine|virtual]] stack machines interpreted in software:
* the [[Whetstone (benchmark)|Whetstone]] [[ALGOL 60]] interpretive code,<ref name="Randell-Russell_1964"/> on which some features of the Burroughs B6500 were based
* the [[UCSD Pascal]] p-machine; which closely resembled Burroughs
* the [[p-code machine#Example machine|Niklaus Wirth p-code machine]]
* [[Smalltalk]]
* the [[Java virtual machine]] instruction set (note that only the abstract instruction set is stack based, HotSpot, the Sun Java Virtual Machine for instance, does not implement the actual interpreter in software, but as handwritten assembly stubs)
* the [[WebAssembly]] bytecode
* the [[Virtual Execution System]] (VES) for the [[Common Intermediate Language]] (CIL) instruction set of the [[.NET Framework]] (ECMA 335)
* the [[Forth (programming language)|Forth]] programming language, especially the integral virtual machine
* Adobe's [[PostScript]]
* [[Sun Microsystems]]' SwapDrop programming language for [[Sun Ray]] [[smartcard]] identification
* Adobe's [[ActionScript]] Virtual Machine 2 (AVM2)
* [[Ethereum]]'s EVM
* the [[CPython]] [[bytecode]] interpreter
* the [[Ruby (programming language)|Ruby]] [[YARV]] bytecode interpreter
* the [[Rubinius]] virtual machine
* the [[bs (programming language)]] in [[Unix]] uses a virtual stack machine to process commands, after first transposing provided input language form, into reverse-polish notation
* the [[dc (computer program)]] one of the oldest [[Unix]] programs
* the [[Lua (programming language)]] C API
* the [[TON Virtual Machine (TVM)]] for [[The Open Network]] smart contracts