• Linked Applications
    Loading…

Page Information

Versions Compared

Key

  • 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

...