Lecture 9

Mon, Oct 29 : 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