CSC 301 - Lecture Notes
Intro & Language Classes
Formal Language Specification
Grammars in Action
Grammars and Semantics
Language Systems
Compilers
Intro ML
ML Tuples & Lists
ML Functions
Data Types
Patterns
Polymorphism
Higher Order Programming
ML Built-in Functions
Scoping
Exceptions
Memory Locations for Variable
Memory Management
Parameters
First Order Logic and Basic Prolog
Rules, Lists & Pattern Matching
Arithmetic and I/O
Final Remarks on Prolog
Formal Semantics using Prolog
Formal Semantics: Natural Semantics
Semantics of Language TWO: variables (updated 4/21/08)
Semantics of Language THREE: functions (updated 4/28/08)
Semantic Equivalence
The History of Programming Languages
Semester Review