7.3
Readings
Remember to add your comment to the Blackboard discussion thread.
Tuesday, August 25, 2020. Security Policies and System Models
Thursday, August 27, 2020. What You Always Wanted to Know About Datalog (And Never Dared to Ask)
Tuesday, September 1, 2020. SOUFFLE´ : On Synthesis of Program Analyzers
Thursday, September 3, 2020. Automatic Index Selection for Large-Scale Datalog Computation
Tuesday, September 8, 2020. First-Order Logic Introduction. Read Chapter 5 of Fitting’s book. Notes by Kris
Thursday, September 10, 2020. An Axiomatic Basis for Computer Programming