Please Reload Every Time You Read This Page!

CSC123/252: Programming Languages, Fall 2017

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: Mon. 1-3pm, Tues, Wedn 2-3pm

Course Syllabus

Online Resources:

• Lambda Calculus tutorial. (here's another tutorial)
• Scheme tutorial (REQUIRED READING)
• MIT Scheme homepage. Install this version for windows (change shortcut target from --edit to --heap 1024 --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# compilation and execution instructions
• C# Documentation at MSDN
• OOP Design Patterns in C# and in C++
• F# Software Foundation. Recommend command line version (or this version) for windows, and mono for linux/macs. instaling/compiling instructions
• F# Microsoft language reference; More Fsharp docs/tutorial; F# predecessor OCAML
• 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
• Research paper on design patterns in AspectJ

Lambda calculus in Scheme (UPDATED), Lambda calculus in Ruby, Lambda calculus in Perl, Halting Problem in Lambda Calculus/Scheme

Second F# programming assignment (AM7B) with test programs test1.7b, test2.7b (shouldn't work), test3.7b, test4.7b, (n!), test5.7b (gcd),
F# assignment 3: Parsing and Compiling

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

Submit all programming assignments (but not first assignment) 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.
  
• Fibonacci function implementations
• Quicksort and Mergesort in Scheme
  
• Graph search in Scheme
  
• web server in Scheme. Here's the page it serves (access within 147.4.0.0/16, may be blocked by firewall).
  
• Bank accounts. code follows the handout.
• Objects and inheritance in Scheme, (equivalent version in Perl)

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)

• Inheritance, static and dynamic dispatch in C#
• Type casting rules in C#
• C# Delegates, typed lambda terms ; another delegate example: infinite sets
  
• My example of the Adapter pattern
• invest.cs. (my example of Observer pattern), simple windows forms program that uses observer pattern.
  
• 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
• Covariant, Contravariant and Invariant types.. Here's a more practical example, and its Java equivalent
  .

F# programs:

• Expression trees, F# version
• Adding different types of numbers in F#, compare with C#
• C#/F# integration: base F# program, fractions.dll, fractions.cs (recompilation needed if there are version compatibility issues)
• pattern recognition with finite state machine
• Abstract Machine AM7B (machine.fs). (F# assignment 2 base)
• Inline calculator with shift-reduce parser (F# assignment 3 base).
  Older version of parser (discussed in video lecture)
• teams2.fs (oop in F#, classes and inheritance)
• AVL balanced binary search trees
• Active patterns, AOP, modularly extending discriminated unions

AspectJ Programs

• 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, optimization aspect, profiling aspect, security aspect.
• Programs illustrating specific features: advice precedence, this versus target, preventing circularity, contro-flows, if pointcut, pertarget aspects
• another AOP example, illstrating various features
• 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 and dynamic dispatch in pure C, and C#
A type error in four languages: scheme, perl, C, C#
Multiple Inheritance in C++
A poem in C++
trying stuff with Swift
About templates in C++ with compiled assembly
Contravariance in Java 1.8
Exploring AOP-like features in java-ish languages: decorator design pattern, .Net Attributes, dynamic delegates
Reflection in Java and how it can be stopped with AspectJ.
Basis for class exercise ObserverPattern in AspectJ, with main class

Announcements:

Final Exam Thursday 12/14, 6:15-8:15pm in Adams 208. Use the study guide with practice problems and sample solutions. Solutions to Fsharp quiz also available.
Review Session Tuesday 12/12 6:15-7:30pm.