Advanced Programming Language Concepts (高级程序设计语言概论)

Description

This course is taught in English.

This course introduces three programming language paradigms (functional, object-oriented and logic) using representatives (ML, Java and Prolog). The course will feature both written (paper) homeworks and programming exercises.

The textbook is Modern Programming Languages: A Practical Introduction by Adam Webber, Franklin, Beedle and Associates.

Announcements

• Midterm examination study help is available.
• Final examination study help is available.

Resources

• Dr. Webber's slides for the textbook.
• Java
• SML/NJ
  • SML/NJ 110.60 for Windows (local NJU copy)
  • SML/NJ 110.60 for for MACOSX/Intel (local NJU copy)
  • ML Tutorials
  • Emacs mode for SML
• Site for downloading SWI-Prolog
• Haskell
  • a Haskell tutorial,
  • HUGS: a Haskell implementation. ( WinHugs of September 2006, local NJU copy)
  • Explanation of HUGS error messages

Handouts

• The syllabus in HTML or PDF.
• Homework #1 in HTML or PDF.
• Homework #2 in HTML or PDF.
• Homework #3 in HTML or PDF.
• Homework #4 in HTML or PDF.
• Homework #5 in HTML or PDF.
• Homework #6 in HTML or PDF.
• Homework #7 in HTML or PDF.

  Client.java HeapManager.java

• Homework #8 in HTML or PDF.

  IntSet.java AbstractIntSet.java TreeIntSet.java IntIterator.java IntSetDriver.java

• Homework #9 in HTML or PDF.
• Homework #10 in HTML or PDF.
• Homework #11 in HTML or PDF.

  small.pl (Prolog implementation of small-step semantics)

  The Homework neglects to mention that you must also define a comparison predicate such as less(_,_) or equal(_,_). Without such a predicate, there's no way to test something to terminate the recursion.

PDF is a trademark of Adobe Systems, Inc.

Last modified: May 29, 2007