Lecture 10

Wed, Oct 31 : Operational Semantics (FRAP Chapter 7) . [materials]

FRAP source:

• OperationalSemantics.v

You may also want to check out these files on more advanced techniques:

• LogicProgramming.v