Please Reload Every Time You Read This Page!

CSC123/252: Programming Languages, Fall 2014

Dr. Chuck C. Liang
Professor of Computer Science, Hofstra University .

Office Address:
102 Adams Hall
Hofstra University
Hempstead, NY 11550
Office Phone: (516 463) 5559

Email: cscccl@hofstra.edu (<- click to send me mail)

Official Office Hours: Monday through Thursday 3:20-4:20pm

Course Syllabus and Goals

Online Resources:

• Lambda Calculus tutorial. (here's another tutorial)
• Scheme tutorial
• MIT Scheme homepage. Install this version for windows (change shortcut target from --edit to --interactive.)
• Ruby Documentation and Download page. This page contains most of what you'll need with respect to the Ruby language.
• My "Perl Tutorial in Perl"
• Perl.org homepage. Recommend Strawberry Perl for windows.
• A Short C++ to Java Tutorial
• A Short Java to C++ Tutorial
• brief instructions on installing C#
• C# Documentation at MSDN
• OOP Design Patterns in C#
• Design patterns video lecture. (opens in windows media player or vlc). You're required to watch this video unless you're already familiar with the factory and observer patterns.
• Wikipedia page on Variant types
• Class notes on type inference calculi (pdf)
• F# intro tutorial and language reference, more docs available for OCAML
• F# Download links: 2.0 (does not require visual studio), visual studio express, open source for linux, macs, etc
• Haskell: a typed functional language with "non-strict" functions.
• Scala language homepage. Scala tutorial for Java programmers
• AspectJ Homepage. Install java first, and then the latest stable release and read at least the first two chapters of the programming guide.
• Java API Documentation

Lambda calculus in Scheme
Lambda calculus in Ruby
Lambda calculus in Perl
Halting Problem in Lambda Calculus/Scheme

F#/C# integration assignment. Supporting files: base F# program, fractions.dll, fractions.cs (recompile only if there are version compatibility issues)
Second F# assignment (parsing and compiling) SEE UPDATE FOR COMPILER PROBLEM
AspectJ Assignment

Submit all programming assignments on blackboard (csc123) (but not the first homework, which is a written assignment).

More Scheme Programs (files in bold are required reading)

• Simple Scheme examples
  
• more interesting scheme code.
  
• Quicksort in Scheme
  
• Graph search in Scheme
  
• web server in Scheme. Here's the page it serves (access within 147.4.0.0/16, non-wireless).
  
• Bank accounts. code follows the handout.
• Objects and inheritance in Scheme

• Lambda calculus in Perl
• Static versus dynamic scoping
• Bank Accounts!!. (alternate version using a hash table)
• OOP using packages and "bless"
• TCP client for downloading webpage
• CGI program for uploading files
• Binary data processing in Perl (not for the weak!)

• Static and dynamic dispatch mechanisms in C#
• Type casting rules in C#
• C# Delegates (in version 1.0). Another delegates example (in version 2.0). And final integration with typed lambda terms (version 3.0)
  
• Notes on the difference between abstract class and interface.
  
• THE PIZZA FACTORY! (my example of Factory Method pattern)
  
• My example of the ABSTRACT FACTORY pattern
• My example of the Adapter pattern
• invest.cs. (my example of Observer pattern)
• Simple windows forms program that uses several C# features.
• Expressions trees program : csc16 version, csc17 version, csc123 (visitor pattern) version, Parametrized VP version
• Student Visitors (visitor pattern example): basic, extended, and main class
  
• Notes and examples of polymorphism
• Example of balancing generics and inheritance, with separate compilation. mainapp file, and .net IL assembly code.
• Covariant, Contravariant and Invariant types.. Here's a more practical example

F# programs:

• Expression trees, F# version
• misc.fs
• tail recursion and mutual recursion
• pattern recognition with finite state machine
• inline calculator with shift-reduce parser. New version with improved lexer
• Abstract Machine AM7B (machine.fs)
• teams2.fs (oop in F#, now with inheritance)
• food lists
• AVL balanced binary search trees
  
• Asynchronous workflows (concurrent programming)

• First AspectJ example. (Contains installation and compilation instructions).
  
• Second AspectJ example superprivate.java and sptest.java
  
• Third and major AOP example: base program, invariance aspect, initialization aspect, profiling aspect, security aspect.
• More AspectJ Programs: advice precedence, preventing circularity, contro-flows, if pointcut, pertarget aspects, doubly linkedlist (optional)
• Rational and complex numbers: numbersaop.java, print.java, trace.java
• exptree6.java: AOP version of expression tree program. Contains important theoretical remarks (read!).

Other Programs:
C code for linked lists similar to those used in class
Inheritance in pure C, and C#
Multiple Inheritance in C++
A poem in C++
Use of pointers and casting in C compared to C++
About templates in C++
Contravariance in Java 1.8

Announcements:

Final exam time: 12/16, 4-6pm. Study guide with practice problems and sample solutions available.

Must read the F# intro tutorial.

Midterm exam Tuesday 11/4. Use the study guide with practice problems and sample solutions.