Detailed Course Content

Course web page: http://www.cs.unr.edu/$\sim$sushil

• Introduction
  • Expressions
  • Data Types
  • Procedures
• Induction, Recursion, and Scope
  • Inductive data specification
  • Recursive program specification
  • Static variable properties
• Abstraction
  • Local Binding
  • Logical Connectives
  • Branching
  • Records
  • Data Abstraction
  • From procedural to data structure representations

• Reduction Rules and Imperative Programming
  • Reasoning about Procedures
  • Lambda Calculus
  • Reduction strategies
  • Defining recursive procedures in the $\lambda$ calculus
  • Sequencing, Assignment, and Sharing
• Interpreters
  • A simple interpreter
  • Conditional Evaluation
  • Local Binding
  • Procedures
  • Variable Assignment
  • Recursion
  • Dynamic scope and Dynamic Assignment
• Parameter Passing
  • Adding Arrays
  • Call-by-Reference
  • Call-by-Value-Result and Call-by-Result
  • Expressed or Denoted Values
  • Call-by-Name and Call-by-Need
• OO Languages
  • Objects and Classes
  • Inheritance