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).