McMaster University
Design and Selection of Programming Languages

SFWR ENG 3E03 - Fall 2005

Instructor

Dr. Wolfram Kahl
ITB-245, kahl@mcmaster.ca

News

• [Jan. 3] All slides are now available as a single document: ,
• [Dec. 6]

   > According to exercise sheet, for last year's exam, one had to know the
   > methods of the Map datatype in Haskell. Will this or any other
   > datatypes need to be known for our own final
  

  I adapted Sheet 10 from FiniteMap to Map --- FiniteMap had been much more prominently present in the exercises last year.

  I guess this would be a candidate for ``In doubt, document!'' --- a rough idea what kind of functions are there should be sufficient.

• [Dec. 6] Midterms can now be picked up with John Nakamura in the drop-in centre ITB-101.
• [Dec. 6] FAQ:

   > Hopefully you can answer this question: Should we be focusing on parsing 
   > implementations in Haskell or Java? What about type checking 
   > implementations?
  

  Any of this would rather be done in Haskell, as part of the complex ``MT3Q1, Ex. 9.3, Ex. 10''

• [Dec. 5] Solution hints for Sheet 10
• [Dec. 1] The ``assignment tactics'' has been added to the Rules sheet ,

Teaching Assistants

• Wolfgang Thaller wolfgang.thaller@gmx.net
• Feng WANG

Outline

The course outline is available as PostScript  and as PDF .

Tests

• Midterm Test 1: Wednesday, Oct. 5, 12:30-14:00, REF-102
• Midterm Test 2: Wednesday, Oct. 26, 12:30-14:00, T28
• The Rules Sheet will be part of Midterm 3 and Final: ,
• Midterm Test 3: Wednesday, Nov. 16, 12:30-14:00, REF-102

Lecture Slides

(4-up on Letter paper --- printing on A4 paper will cut off a part.)

All slides as single document: ,

• Introduction (September 9): ,
• Syntax (September 13-23): ,
• Typing (September 23, October 4, November 1): ,
• Haskell Example: Finite-State Machines (September 28) FSM.hs
• Haskell (September 30 - ... - October 28): ,
• Syntax Analysis in Haskell (October 21-28): ,
• Operational Semantics (November 1- ... -15): ,
• Axiomatic Semantics (November 4-15): ,
• Denotational Semantics (November 18, not covered on Final exam): ,
• Parameter Passing (November 22-29 ): ,
• Summary (Mostly slides occurring elsewhere, December 2): ,

Exercise Sheets

• Prerequisite Exercises (September 9): ,   -   Notation handout: ,
• Exercise Sheet 1 (September 13): ,   -   Expression1.java, E1.dot, Graphviz home page
• Exercise Sheet 2 (September 21): ,
• Exercise Sheet 3 (September 28): ,   -   Solution hints: ,
• Exercise Sheet 4 (October 7): ,   -   StackMachine.hs_skel (to be completed)   -   Solution hints: ,   -   StackMachine.hs
• Exercise Sheet 5 (October 12): ,   -   Solution hints: ,
• Exercise Sheet 6 (October 19 - corrected October 20): ,   -   NewFSM.hs requires GHC-6.4 or later! (to be completed) MT1a.dot MT1a.neato

  With older GHC, use FiniteMap instead of Map.

• Exercise Sheet 7 (October 28): ,   -   StackMachine.hs SimpleLexer.hs Expr.hs   -   Solution hints: ,   -   Interpreter1.hs
• Exercise Sheet 8 (November 4, corrected Nov. 9): ,   -   Solution hints: ,
• Exercise Sheet 9 (November 9): ,   -   Solution hints (partial): ,
• Exercise Sheet 10 (November 23): ,   -   Expr.hs (unchanged)   -   Solution hints: ,   -   Nested.hs

Haskell Interpreter Access

source /u0/prof/kahl/SE3E03/source_me

Schedule

Lectures: Tuesday, Wednesday, and Friday, 12:30-13:20, GS-101

Tutorial Exercises:

Group 1	Monday, 13:30-14:20	BSB-B139
Group 2	Wednesday, 10:30-11:20	BSB-144
Group 3	Monday, 10:30-11:20	JHE-A113
Group 4	Tuesday, 9:30-10:20	BSB-144

Textbook

Allen B. Tucker, Robert E. Noonan: Programming Languages: Principles and Paradigms McGraw-Hill, 2002, ISBN 0-07-238111-6

(This book should be in stock in the textbook section of Titles.)

Links

• Vital, ``a document-centered implementation of Haskell''
• Haskell: A Very Different Language by John Goerzen
• ZVON Haskell Referece
• ``Visual Haskell'', a Haskell environment for Microsoft Visual Studio .NET 2003 for x86 machines running Windows, including a complete GHC installation (preview release 2005-09-20)
• Disrcete Mathematics Using a Computer, book and Haskell software

Academic Dishonesty

Academic dishonesty consists of misrepresentation by deception or by other fraudulent means and can result in serious consequences, e.g. the grade of zero on an assignment, loss of credit with a notation on the transcript (notation reads: ``Grade of F assigned for academic dishonesty''), and/or suspension or expulsion from the university.

It is your responsibility to understand what constitutes academic dishonesty. For information on the various kinds of academic dishonesty please refer to the Academic Integrity Policy, specifically Appendix 3, located at http://www.mcmaster.ca/senate/academic/ac_integrity.htm

The following illustrates only three forms of academic dishonesty:

1. Plagiarism, e.g. the submission of work that is not one's own or for which other credit has been obtained.
2. Improper collaboration in group work.
3. Copying or using unauthorized aids in tests and examinations.

Discrimination

``The Faculty of Engineering is concerned with ensuring an environment that is free of all adverse discrimination. If there is a problem that cannot be resolved by discussion among the persons concerned, individuals are reminded that they should contact the Department Chair, the Sexual Harassment Office or the Human Rights Consultant, as soon as possible.''

 (-Viewer)               (-Viewer)