CSC 434 Supporting Material

1. Textbook web site (includes links to download software used in class)
2. Browser-based C programming enviroment
   
3. Related software downloads
   1. SML/NJ 
   2. Java
   3. Prolog
      1. SWI Prolog 
      2. Web-based Prolog environment
4. Lecture slides for book chapters
   • Chapter 1
     • How many programming languages are there?
     • Why learn a new programming language, or two, or three...
     • Syntax across languages, or, how do I do 'X' in language 'Y'
     • One program. In 1500 different programming languages.
     • The Tiobe index
     • Programming language categories

   • ---

   • Chapter 2
     • Java grammar in BNF
     • BNF problems from textbook
     • The Lex tool
       • Wikipedia 
       • example input (grammar), C code produced by flex using this grammar
   • Chapter 3
     • Exercise 3.1
   • Chapter 4
     • Compiler optimization example
       • example C code
         • resulting assembly code without optimization, using gcc -S foo.c
         • resulting assembly code with optimizations, using gcc -O -S foo.c
     • JVM
       • Try javap -c classFile to disassemble the class file
     • Does Python employ compilation or interpretation? Yes
     • Java bytecode hardware
     • Creating a shared library with gcc on Linux
     • Profile-guided optimization
   • Chapter 5
     • Functional programming
       • Why functional programming matters - read at least the first 3 pages. The paper is more than 25 years old, and still very relevant.
       • An introduction to functional programming
       • Another introduction to functional programming
       • A different take on functional programming
       • A representative sample of functional programming languages: Ocaml, Haskell, Scala, Clojure
     • SML/NJ
       • Quickstart
       • Using the SML/NJ system
       • Another, more detailed, intro to SML: lots of short examples
       • SML Libraries 
       • SML description
       • Compiled or interpreted?
     • Chapter Exercises

   • ---

   • Chapter 6
     • Enumerated types in Java
     • Implicit types in Fortran
     • Static typing vs Dynamic Typing
       • Example 1, Example 2
       • On the static vs dynamic debate
   • Chapter 7
     • Book problems: pg115, pg116
   • Chapter 8
     • Name mangling
     • Java generics - parametric polymorphism
   • Chapter 9
     • On higher-order functions
     • Some examples of higher-order functions and currying: 
       • Example 1, Example 2
       • Higher order mergesort, curried version of mergesort, example use of higher-order mergesort
       • Functional programming in Python: part 1, and part 2.
     • Book problems
     • On map, foldl, foldr etc.
   • Chapter 10
   • Chapter 11

   • ---

   • Chapter 12 
   • Chapter 13
   • Chapter 14
   • Chapter 15
   • Chapter 16
   • Chapter 17
   • Chapter 18
   • Chapter 19
     • Interactive, browser-based SWI-Prolog environment
       
     • Book problems
     • MBB
       • Preview
       • Monkey-Box-Banana problem, solution
     • Eight queens problem, solution
     • How Prolog works
     • Understanding Prolog error messages
     • Prolog GUI library
     • Interfaces to other programming languages
     Chapter 21