Page Information

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


Note: topics are listed in reverse chronological order.

Topics from 2016  

Structured Operational Semantics


On December 9, we began discussing Gordon Plotkin's notes on Structured Operational Semantics. A series of separate meetings followed in December and January to cover most of the rest of the notes.

 Verifying Attribute Grammars