Class Notes and Other Material
Class Notes:
Class Notes 0: Overview
Class Notes 1: Preliminaries
Class Notes 2a: Scheme Recap
Class Notes 2b: Scheme Reference
Class Notes 2c: Prolog Recap
Class Notes 2d: Prolog Reference
Class Notes 3: History
Class Notes 4: Grammars
Class Notes 4a: Grammars Derivations
Class Notes 5: Axiomatic Semantics (these notes will be the one used along with many examples on the blackboard)
Class Notes 5a: Axiomatic Semantics (these notes will serve as reference. This lecture will be mainly done on the blackboard)
Class Notes 6: Syntactic Analysis / Parsing
Class Notes 7: Perl
Class Notes 8: R
Class Notes 9a: Names
Class Notes 9b: Data Types
Class Notes 9c: Expressions, Assignments
Class Notes 9d: Control
Class Notes 9e: Subprograms
Class Notes 10: Subprograms Implementation
Class Notes 11: Concurrency
Class Notes 12: Exception Handline
Homework:
Assignment 1
Assignment 2
Assignment 3
Assignment 4