24-11-2012, 11:05 AM
Abstract machines
Abstract
Abstract machines give a concise desription of many programming language features. They can be used to prove the correctness of more high-level formalisms, such as showing soundess of Hoare logics. Some of the basics of abstract machines are covered in the Principles of Programming module I have taught in Semester 2, 2011.