MCS-287: Organization and Theory of Programming Languages (Spring 2014)

• General information and schedule
• Homework
  • Homework 1
  • Homework 2
  • Homework 3
  • Homework 4
  • Homework 5
  • Homework 6
  • Homework 7
  • Homework 8 (PDF)
• Labs
  • Lab 1: ML Programming
  • Lab 2: An Interpreter
  • Lab 3: Java Generics
  • Lab 4: Parsing and Analysis in Prolog
• Examples worked in class
  • list processing functions using ML, 2014-02-18
  • Typing examples using Java, 2014-02-21
  • zip and unzip using ML pattern matching, 2014-02-24
  • higher-order functions, 2014-02-28
  • addSix example for closures and activation records, 2014-03-14
  • variant of IntList and a JUnit test for it, 2014-03-14
  • cleaned-up HeapManager (non-coalescing), 2014-03-17
  • cleaned-up HeapManager (coalescing) and JUnit tests, 2014-03-17
  • Generics examples in the Land of Gack:
    • Garbage collection analog, reachablePlaces and use thereof, 2014-03-25
  • BoundedStack of Objects and JUnit test illustrating garbage collection performance issue, 2014-03-25
  • Parameter passing examples in C++: value vs. reference and array element reference vs. macro, 2014-04-28
  • Prolog predicates for list examples, 2014-04-30
  • Using resolution to solve a Prolog query, 2014-05-13
• Other links
  • Documentation for the Java Platform, Standard Edition, including the API documentation
  • The Java Tutorials
  • Textbook's supporting web site
  • SML/NJ home page including documentation
  • SWI Prolog home page including documentation

Instructor: Max Hailperin

Let me know what you think

I would appreciate feedback about the course. I welcome your comments in person or by email to max@gustavus.edu.