CSC 501 - Lecture Notes
Introduction
String Rewriting Systems(updated 9/16/16)
Grammars
Natural Semantics (Part 1)
Natural Semantics (Part 2)
Natural Semantics (Part 3)
Induction (Part 1)
Induction (Part 2)
Prolog Tutorial
Executable Specifications - state, arithmetic expressions
Executable Specifications - boolean expressions, commands
Executable Specifications - declarations, type systems
Executable Specifications - I/O, block structured languages
Executable Specifications - functions
Executable Specifications - program correctness
Executable Specifications - pre- and postconditions
Executable Specifications - program correctness and iteration
Executable Specifications - loop invariants
Executable Specifications - program correctness and recursive functions
Executable Specifications - translational semantics
Executable Specifications - translation, source and target semantics
Executable Specifications - compiler correctness
Elements of Model Theory
Semester Review