Please Reload Every Time You Read This Page!

CSC123/252: Programming Languages, Fall 2012

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 Wednesday 3-4pm

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
  
• Wikipedia page on Variant types
• 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 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

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

AspectJ Assignment.
java version of food visitor for problem B1 of AspectJ assignment.
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) (but not the first homework, which is a written assignment). 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

• 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).
• Covariant, Contravariant and Invariant types.

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
  
• Asynchronous workflows (concurrent programming)

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
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:

Final Exam Monday 12/17 4-6pm in Adams 204. Exam will be proctored by Dr. Fu, along with his csc17 students. Use the study guide and sample solutions to the practice problems.

Midterm study guide still available with sample solutions to the practice problems.

All assignment due dates are suspended until further notice. However, to keep up with the class it is always in your best interest to do the assignments as much as possible. Soon or later we must have exams.

On the first C# assignment, the addendum is now optional. This is a firm deadline since it's a relatively simple assignment.

Tutor Available: Paras Patel is available as a tutor for this class. He is available during the following times:
MW: 3pm - 6pm, after 8pm
F: anytime after 3pm
Tu: anytime except 2pm-4:30pm, (in 204 lab between 12:30 - 2)
Th: all day
You can email him at ppatel1@pride.hofstra.edu .