New Article by Matt Might:
CESK machines can concisely and efficiently model the semantics of functional languages like the lambda calculus. It’s less appreciated that CESK machines can do the same for object-oriented and imperative languages too.
This post explores a CESK machine for a high-level, object-oriented bytecode inspired by the Dalvik virtual machine for Java.
Read on for an implementation of an object-oriented CESK machine.