Please Reload Every Time You Read This Page!

CSC123/252: Programming Languages, Fall 2015

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 Wednesday 1:30-2:30pm

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 Docmentation

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

C# Assignment 1. Your multiple inheritance solution must work with multinhasn.dll (compile with csc yourprogram.cs /r:multinhasn.dll)

Optional Halloween Assignment

The Food Assignment. Your xmlwriter visitor should write files consistent with this example.
Food files: foods.cs, foodvisitors.cs aboutfood.cs.
FSA hint for checking sorted list

F#/C# integration assignment. Supporting files: base F# program, fractions.dll, fractions.cs (recompile only if there are version compatibility issues)
Parsing and Compiling F# assignment

AspectJ Assignment
AspectJ Assignment part B, with associated Java base files figure.java and figs.java

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

Perl Programs (supplements the Perl tutorial. Files in bold are required reading)

• 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!)

C# Programs ( Files in bold are required reading)

• 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.
• Expression 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. Here are some older notes.

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 (reversed token stream fixed)
• Abstract Machine AM7B (machine.fs). Now modified as class exercise and additional homework
• 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, efficient queues (NEW), 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
Closures and C.
Inheritance in pure C, and C#
Multiple Inheritance in C++
A poem in C++
Use of pointers and casting in C compared to C++
Visitor Pattern Class Exercise Base Program
About templates in C++
Contravariance in Java 1.8

Announcements:

Final Exam Wednesday 12/16 at 6:15pm. Study guide with practice problems and sample solutions are available.

Reload parser14.fs for latest version

Some video lectures on F#: fsharp1.wmv, catfsm.wmv, parser1.wmv, and maxop.wmv. The parser1 video should be especially helpful on the parser assignment.

Midterm exam Monday 11/2. Study Guide with practice problems and sample solutions available.

Himanshu Dhameliya (hdhameliya1@pride.hofstra.edu) is available to tutor this class Tuesdays and Thursdays 5-7pm. He'll be in 204.

Video Lecture on OOP Design Patterns. Watch if you're not familiar with basic design patterns such as the Observer Pattern. Open with wmp or vlc (latest version)