CSCE 330 Lecture Notes

  • Notes for Ch.1 (Introduction) (PowerPoint format)
  • Notes for parts of Ch.2 (Syntax and Semantics) (PowerPoint format)
  • Notes for parts of Ch.3 (Lexical and Syntactic Analysis) (PowerPoint format)
  • Notes by Robert Sebesta for Preliminaries and History (postscript format)
  • Guest lecture by Dr. Jeffrey Mark Siskind, Associate Professor at Purdue University: An introduction to functional programming using Peano arithmetic. (pdf format)
  • Notes for Ch.4 (Names) (PowerPoint format)
  • Notes for Ch.5 (Types) (PowerPoint format)
  • Notes for Ch.6 (Type Systems) (PowerPoint format)
  • Notes for Ch.7 (Semantics) (PowerPoint format)
  • Notes by Robert Sebesta for Preliminaries and History (pdf format)
  • Notes by Robert Sebesta for Syntax, Axiomatic Semantics, and Denotational Semantics (postscript format)
  • Notes by Robert Sebesta for Syntax, Axiomatic Semantics, and Denotational Semantics (pdf format)
  • New (2007) notes by Robert Sebesta for Syntax, Axiomatic Semantics, and Denotational Semantics (ppt format)
  • Notes on Denotational Semantics (pdf format)
  • Example of Use of Denotational Semantics (pdf format)
  • Notes for Section 18.1 (Program Correctness: Axiomatic Semantics)
  • Notes for Section 18.2 (Program Correctness: Formal Methods Tools: JML)
  • Notes on exercise 18.2 [T] on axiomatic semantics
  • Two sculptures by Michelangelo Buonarroti
  • Notes for Sections 14.1 and 14.2 [T] on the lambda calculus and the Scheme programming language
  • Slides for Graham Hutton's _Programming in Haskell_ (local copy):
  • Notes on Prolog
  • Notes for Chapter 15 (Logic Programming) through section 15.2.1: Log
  • Literate Programming in Haskell
  • Caesar cipher program from Section 5.5 [H]