Please Reload Every Time You Read This Page!

CSC123/252: Programming Languages, Fall 2018

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: MTu 1-2pm, Wed 6-7pm

Course Syllabus and Goals

Online Resources:

• Lambda Calculus (supplements handout).
• Scheme tutorial (REQUIRED READING)
• Gnu MIT Scheme. Install this version for windows (change shortcut target from --edit to --heap 2048 --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
• Class notes on type inference calculi. (MANDATORY READING)
• Scala Language Homepage (for you to explore)
• 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

The Triple Dispatch Challenge. Sample solution available after it's due
F# Tutorial Exercises. This includes the first F# programming assignment.

F# Abstract Machine Assignment and base program dll (original version). 7B test programs: test1.7b, test2.7b (shouldn't work), test3.7b, test4.7b

F# assignment 3: Parsing and Compiling, with parserm.dll and example of how to extend parser-evaluator

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 scheme code, including binary trees.
  
• 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 some 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 . (Slightly different versions of exptree3 and exptree4)
• 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 (AM7B.fs). (F# assignment 2 base - new version)
• 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
  
• Larger AOP example, with base program and aspects
• Older 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
• exptree6.java: AOP version of expression tree program. Contains important theoretical remarks (read!).

Other Programs:
Three versions of Fibonacci function and compiled assembly. Illustrating tail recursion optimization.
Scheme style linked lists in C
Are there closures in C?
Simulating dynamic scoping with static scoping in C and Python
Inheritance and dynamic dispatch in pure C (alt version), and C#
A type error in four languages: scheme, perl, C, C#
Multiple Inheritance in C++
About templates in C++ with compiled assembly
Trying stuff (class extensions) in swift
Playing with Kotlin (includes another expression tree example)
Exploring AOP-like features in java-ish languages: decorator design pattern, .Net Attributes, dynamically scoped delegates (my approach)
Reflection in Java and how it can be stopped with AspectJ.

Announcements:

Final exam Monday 12/17, 4-6pm in regular classroom. Use the Study Guide with practice problems and sample solutions. Review Sesson Wednesday 12/12, 10am-11:30am, room Adams 208. Come with questions.