Honors Programming Languages

Instructor

Michel Mauny

• Email:
• Phone: (212) 998-3113
• Office: Warren Weaver Hall, Room 508
• Office hours: Wednesday 10:00-12:00 and by appointment

Course Description

Goals

Course Mailing List: click here!

Lectures: Monday, Wednesday, 3:30 - 4:45 p.m., Warren Weaver Hall , Room 101

Course Syllabus

Course material

• Texts:
• J. Barnes, Programming in ADA 95, Addison Wesley. ISBN 0-201-34293-6.
• Lawrence C. Paulson, ML for the Working Programmer, Cambridge University Press, ISBN 0-521-56543-X.
• L. Sterling, E. Shapiro, The Art of Prolog, MIT Press, ISBN 0-262-19338-8.

 

• Online resources about programming languages
• Ada 95
• Ada compilers
• The Ada 95 Reference Manual
• Ada resources
• Scheme
• Scheme Reference Manual (html, postscript, pdf)
• Running Scheme: On Solaris machines in WWH: type "rs". Control-D exits the system. For more help, type ",help" once in the system.
• Implementations
• ML
• The Functional Languages FAQ
• SML'97 on-line tutorial
• Caml-Light: tutorial, reference manual
• SML-NJ home page
• Caml home page
• Prolog
• The GNU Prolog home page
• Running Gnu-Prolog
• More Prolog resources
• Slides and course notes

 
• Introduction: 1 slide/page (4 slides/page is better for printing)

 
• Ada
• overview 1/page (4/page)
• packages 1/page (4/page)
• exceptions 1/page (4/page)
• generics 1/page (4/page)
• tasks 1/page (4/page)
• Example: mutual exclusion with task
• Example: mutual exclusion with protected
• tagged types 1/page (4/page)

 
• Scheme (PowerPoint, PostScript 1/page, 6/page)
• Scope (1/page , 4/page )
• Scheme evaluation (1/page , 4/page )
• The Scheme mini interpreter

 
• Garbage collection (1/page,  4/page )
• A  short description of the GC used by Caml-Light

 
• Lambda-calculus (1/page,  4/page)

 
• Denotational semantics (1/page, 4/page)
• Caml code of evaluators following denotational semantics

 
• Typed functional programming (1/page, 4/page)
• Overview of Caml, natural semantics of a mini ML (1/page, 4/page)
• The OCaml code for an interpreter directly from this semantics
• Terms: matching, unification  (1/page, 4/page)
• ML type inference  (1/page,  4/page)
• Ben Goldberg slides (PLDI'94 tutorial on Functional Programming)

(Lazyness is discussed on slides 15-19, 45-51)
• Formal series and lazy evaluation

 
• Logic Programming (slides from U. of Madrid)
• Introduction (1/page, 4/page)
• Logic Programming (1/page, 4/page)
• The Prolog language (1/page, 4/page)
• The intuition behind Constraint Logic Programming  (1/page, 4/page).

(A paper published in BYTE about Constraint Logic Programming is here.)
• Setl
• The SETL Language (HTML, Postscript 2/page)
• The SETL report
•  Setl programs

 
• Program structuring
• Generalities (1/page, 4/page)
• Objective Caml objects and classes (slides by X. Leroy: 1/page, 4/page)

(A diagram  (PS file) explaining the subtyping of functions.)
• Reading:
• Remy & Vouillon: Objective ML -- An effective object-oriented extension to ML
• Eifrig, Smith & Trivonov: Sound Polymorphic Type Inference for Objects
• Objective Caml modules (slides by X. Leroy: 1/page, 4/page)

 

• Assignments
• Ada programming assignment.
• Scheme programming assignment.
• ML programming assignment: Unification.
• ML programming assignment: Core-ML type inference.
• Prolog programming assignment.
• SETL programming assignment

Events

• The Programming and Verification Seminar Series