Spring 98, CSE 428: Announcements

(May 1) About the Final Exam:

It will take place on May 6, at 6:508:40pm, in 101 Osmond and 110 Osmond.

The class will be split among the two rooms as follows: Students whose
family name begins with a letter included between "A" and "L" should go
to 101 Osmond. The others ("M""Z") should go to 110 Osmond.

The exam will be comprehensive, i.e. will be about all the topics studied
during the course.

For preparation, please consult the "Exercises for the Final Exam".

During the exam you can consult the LN (mine and yours), the solutions
of previous assignments and midterms, the solutions of the "Exercises
for the Final Exams", and Sethi's book (please bring your own copy).

Bonus for "no answer" : If you
don't know how to answer one question, you may want to give no answer (by
leaving blank the space for the solution). For each question to which you
give no answer you will receive a bonus of 10% of the maximum score for
that question.

(Apr 4) About the second midterm exam:

It will take place on April 6, at 8:1510:15pm in 110 Wartik.

Both I and the TA will be in class during the exam, ready to answer all
your questions "Exercises for The exam will be based on ML: equivalence
of declarations, simple programs, derivation of types of given expressions.

Reference material: All what you need to study for the exam is:

Chapter 9 of the book of Sethi

past assignments about ML

lecture notes on Type derivation
P.s. of course, this should not be interpreted as discuraging you from
studying more material, like the one which is suggested in the web page
of the lecture schedule. Studying more always helps.

You are recommended to do the exercises of Chapter 9 of Sethi's book as
a preparation to the programming exercises in the Midterm

During the exam you can consult the LN (mine and yours), the solutions
of previous assignments, and Sethi's book (please bring your own copy).

(Feb 19) There was a mistake in Lecture Notes 111213, now corrected.
The
mistake was in the last example: s3 = s1[3/L3][3/L2]
should have been
s3 = s2[3/L3][3/L2].
I also have added a better explanation of what happens in the internal
state (in the same example), and I have added a note about how to define
the interpreter more formally.

(Feb 13) About the first midterm exam:

It will take place on February 23, at 8:1510:15pm in 110 Wartik.

Both I and the TA will be in class during the exam, ready to answer all
your questions about the interpretation of text, etc.

The exam will be based on the material I teached until Wednesday 18, inclusive.
There will be no Home Assignment that week (i.e. no assignment will be
given on Wednesday 18. The next one will be distributed on Wednesday 25).

Reference material: All what you need to study for the exam is:

Lectures 113: my Lecture Notes

Lectures 14, 15: Sethi 4.3, 4.4, and 4.7

Lectures 16, 17: Sethi 5.15.4
P.s. of course, this should not be interpreted as discuraging you from
studying more material, like the one which is suggested in the web page
of the lecture schedule. Studying more always helps.

It will be an open note/book exam. Namely, you can consult the LN and Sethi's
book if you like (please bring your own copy)

(Feb 9) The example of proof, at the end of Lecture Notes 6 and 7, contained
a typo (now corrected): env'
 x = 2
eval_{D} env"
should have been the conclusion of a proof of the form
_________________
env' 
2 eval
2^{~}
________________________
env' 
x = 2 eval_{D}
env"

(Jan 28) There were two
typos in Assignment 1. You can find here
the corrected version.

(Jan 28) The deadline for Assignment 1 has been extended for two days.
Thus Assignment 1 is due by Wednesday February 4, at 9:00am.