15-312 Foundations of Programming Languages
Lecture 9: An Abstract Machine
In this lecture we introduce the C-machine, which has an explicit
control stack and thereby avoids the search rules of the structural
operational semantics. It is one of the simplest examples of abstract
machines which have gained popularity in recent years, because they
increase portability and security of mobile code (as in the case of
the Java Virtual Machine).