Programming paper: Object-oriented languages often use virtual machines (VMs) that provide mechanisms such as just-in-time (JIT) compilation and garbage col.
Framework that captures the characteristics of programming systems, makes it possible to compare and better understand them and find interesting new points in their design space.