Please Reload Every Time You Read This Page!

CSC123/252: Programming Languages, Fall 2011

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

Office Address:
201A 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 2-3pm

Course Syllabus and Goals

Online Resources:

• Lambda Calculus tutorial. (here's another tutorial)
• Scheme tutorial
• MIT Scheme homepage. Install this version for windows (go to the MIT scheme download site and try a different version if this one doesn't work.)
• Ruby Documentation and Download page. This page contains most of what you'll need with respect to the Ruby language. Read the "ruby in twenty minutes" tutorial first, then my lambda calculus program below.
• My "Perl Tutorial in Perl"
• Perl.org homepage
• A Short C++ to Java Tutorial
• A Short Java to C++ Tutorial
• brief instructions on installing C#
• C# Documentation at MSDN
• OOP Design Patterns (beware: abstract class used instead of interface). You need to first understand Singleton, Factory Method, Adapter, Facade, Observer
  
• Class notes on type inference calculi (pdf)
• Typed functional languages: Standard ML, F# .Net.
• F# intro tutorial and language reference, more docs available for OCAML
• Algebraic programming in SML. F# version
• 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 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

C# Assignment 1 with (possibly optional) ADDENDUM
Optional assignment for observer pattern
The Food Assignment. Your xmlwriter visitor should write files consistent with this example.
Food files: foods.cs, foodvisitors.cs aboutfood.cs.

ML-F# .Net integration assignment. Support files: fractions.cs, numlist.fs
Use this fractions.dll if you're having trouble with incompatible binaries.
New F# assignment

AspectJ Assignment.
java version of food visitor for problem B1. (RELOAD FOR UPDATE)
problem B3 of the AOP assignment, with support files figure.java and figs.java. (main is in figs.java).

Submit all programming assignments on blackboard (csc123) (please heed the warning about saving versus submitting)

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).
  
• Bank accounts. code follows the handout.
• Objects and inheritance in Scheme (UPDATED 2011)

• 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)
• notes and examples of polymorphism
• Balancing generics and inheritance, with example of separate compilation. mainapp file, and .net IL assembly code.
• Expressions trees program : csc16 version, csc17 version, csc123 (visitor pattern) version, Parametrized VP version
• My student visitors example, that includes weirdstudents
  Version of "student" visitor pattern that includes xml file parser).

F# programs:

• Expression trees and foodlists
  
• misc.fs
  
• teams2.fs (oop in F#, now with inheritance)
• binary search trees
  
• pattern recognition with finite state machine
• inline calculator with shift-reduce parser
  

AspectJ Programs (All required reading)

• 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.
  
• Aspect-oriented bank accounts: aopbank.java. Contains one of the problems of the programming assignment
  
• More AspectJ Programs: advice precedence, preventing circularity, contro-flows, if pointcut, pertarget aspects, doubly linkedlist
• 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
Bank accounts using closures in Ruby
Inheritance in pure C, and C#
A poem in C++
Use of pointers and casting in C compared to C++
What mother never told you about templates in C++

Announcements:

Reload food.java for latest, more tolerant version. On some systems, boxing is not fully implemented (won't cast int to Object automatically).

The scheduled time for our final exam is Monday 12/19, 4-6pm (adams 200). Study guide with practice problems and their solutions are available.