Please Reload Every Time You Read This Page!

CSC123/252: Programming Languages, Fall 2010

Dr. Chuck C. Liang
Associate 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.
• 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.
• 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 survival guide, more docs available for OCAML
• Algebraic programming in SML. F# version
• Haskell: a typed functional language with "non-strict" functions.
• 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
Halting Problem in Lambda Calculus/Scheme

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

• Misc. Ruby characteristics. Include scoping test, blocks...
• Bank accounts! (objects as closures)
• Classes and inheritance
• The Observer Design Pattern

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

Other Programs:
C code for linked lists similar to those used in class
Inheritance in pure C, and C# (compare to Ruby above)
OOP support in Perl
My artistic side: a poem in C++
Use of pointers and casting in C compared to C++
Templates in C++

Some F# programs:
teams.fs and btrees.fs
Expression trees and foodlists
misc.fs
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!).

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 Part A.
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)

Announcements:

Final exam is Thursday 12/16 from 6:15-8:15pm in Adams 200. Professor Fu will proctor the exam. Study guide with practice problems and their solutions are available. While I'm away, I will check the blackboard discussion board for questions at least during the weekend before the exam.

All programming assignments must be submitted to blackboard by Friday 12/17