Lecture 04: Introduction to Abstract Machines

410 Views

This video introduces the notion of abstract machines, based on an example that is verified, animated and for which C source code is generated.

Supplementary material

Sign in to receive news from MOOC IMD and to access course forums.