| Date
Posted | Announcement |
| December 19, 2007 |
The final exam has been graded. The average score was 73.6. Final
grades will be computed tomorrow or Friday. |
| December 12, 2007 | Eric, the instructor, will have
additional office hours each day until December 18.
- Wednseday, Dec. 12: 10:00am-11:00am
- Thursday, Dec. 13: 10:00am-11:00am (normal office hours)
- Friday, Dec. 14: 1:00pm-2:00pm (changed from original time of 10:00am)
- Monday, Dec. 17: 10:00am-11:00am
- Tuesday, Dec. 18: 10:00am-11:00am (normal office hours)
|
| December 12, 2007 | Exam 2 and Homework 6 grades should
be on GRIT. As always, let me know if you have any questions or
cannot access your grades. Note that the extra credit problem will be
counted separately from your Homework 6 grade. |
| December 11, 2007 | An additional axiomatic semantics
practice problem is available here.
If you struggled with the axiomatics semantics problem on the last
exam, you might want to try to solve this one to be sure that you can
solve similar problems if they appear on the final exam.
|
| December 11, 2007 | Final Exam review slides have been updated to show that the
exam is on Tuesday, not on Thursday as I erroneously stated in
the first version of the slides. The date and time posted on the syllabus is correct (and always has been). |
| December 11, 2007 | I (Eric the instructor) had to
leave quickly today since we had to do the evaluations. Thus, if you
wanted to ask me more questions about grading the exam you didn't have
a chance. If you have quetions, please stop by my office sometime
before the final and we can talk. |
| December 11, 2007 | An additional axiomatic semantics
practice problem will be posted here sometime this evening. Stay
tuned. |
| December 11, 2007 | Homework 6 will be graded by
sometime tomorrow. Check with Eric (the TA) at his office hours in
the morning to see if he has them. After that, they will be in
Eric's (the instructor) office and you can collect them there and
discuss any questions that you may have. |
| December 11, 2007 | Final Exam review slides are now posted. |
| Decemver 4, 2007 | In Homework 5, Problem 1, parts 2 and
3 (ML type inference), some of you had an extra 'a -> before the
int's. If this was because the underscore in the function names did
not appear in your PDF viewer, email me and I can give you your points
back. But the important thing, especially for the upcoming exam, is
that you know that your answer was correct if there really was no
underscore there. |
| December 4, 2007 | Exam 2 review slides are now posted. |
| November 30, 2007 | Homework 5 should be graded and on
GRIT (except for the UNITE students' homeworks---sorry, I don't have
the hardcopies yet). |
| November 29, 2007 | Homework 6 is now available on the assignments web
page. |
| November 29, 2007 | Logic Programming lecture slides are now
posted. |
| November 24, 2007 | TA office hours for Monday, November
26 will be rescheduled for Tuesday, November 27 from
3:00-4:00. |
| November 20, 2007 | Exam 2 will be held in class on
December 6. |
| November 20, 2007 | Homework 5 is now available on the assignments web
page. |
| November 15, 2007 | TA office hours for next week, the
week of November 19, will be cancelled. I will still be available by
email and will still be checking the forum for general questions or
concerns. -Eric (the TA) |
| November 15, 2007 | Sorry about the email, the deadline
for the whole homework has been pushed back to next Tuesday. -Eric
(the TA) |
| November 14, 2007 | Since the power has gone out in
the CS building one each of the last two nights some of you have had
problems completing the homework assignment. Thus, we will be pushing
the due day back to the next class period - Tuesday, November
20. |
| November 8, 2007 | Functional Programming lecture slides are now
posted. |
| November 6, 2007 | Homework 4 is now available on the assignments web
page. |
| November 5, 2007 | Grades for homework 3 and exam 1
should now be posted on GRIT. If there is a problem with either
grade, let me know. -Eric (the TA) |
| October 31, 2007 | Exam 1 Review slides posted. |
| October 25, 2007 | Type: Data Representation lecture slides (L4)
posted. |
| October 23, 2007 | TA office hours for next Monday,
October 29 will be rescheduled for Tuesday, October 30 from 3:00pm to
4:00pm. |
| October 17, 2007 | Homework 2 grades should be up on
GRIT and you should have received an email evaluating your
work. Contact me if you have problems viewing your grade, and as
always, email me or come to my office hours if you have questions
about the homework or your grade. -Eric (the TA) |
| October 16, 2007 | Some challenge problems related to
Homework 3 and Homework 2 are available on the assignments page. |
| October 16, 2007 | Axiomatic Semantics Part 2 lecture slides (L3)
posted. |
| October 16, 2007 | Homework 3 is now available on the assignments page. |
| October 16, 2007 |
A handout describing the process of transforming flow diagrams is
available here. |
| October 9, 2007 |
The first mid term exam will be on November 1 in class. |
| October 9, 2007 |
The expr grammar with lists that we covered in class on October 4
is available here. The bugs from
class have been fixed. |
| October 4, 2007 | Instructions for setting up the
necessary environment variables for Silver on CS machines are now on
the assignments
page. |
| October 4, 2007 | Some examples have been added to the assignments page. |
| October 3, 2007 | Check the assignments page for a helpful note on
Silver. |
| October 2, 2007 | At 5:30pm today, the instructions on
the website for setting up your GRAMMAR_PATH were updated. If you
copied the lines earlier, you must remove the ":$GRAMMAR_PATH" from
the end of the second line. |
| October 1, 2007 | Homework 2 is now available on the assignments page. |
| October 1, 2007 | TA office hours next Monday, October 8
are rescheduled for Tuesday, October 9 from 2:00pm - 3:00pm. |
| September 25, 2007 | Your homework should now be graded
and available on GRIT. If you can't access it, let me know. Also, if
you have questions about the grading (I know it's hard with the
electronic submissions because you don't get written feedback), please
email me or come to my office hours and I will give you a more
detailed evaluation. -Eric (the TA) |
| September 25, 2007 | Imperative Programming: Part 1
lecture slides (L3)
posted. |
| September 25, 2007 | Read Sethi Chapter 3.
It is available here.
Username and password available on electronic discussion
board. |
| September 18, 2007 | Language Description: Syntax lecture slides (L2)
posted. |
| September 17, 2007 | TA office hours next Monday,
September 24 (the day before Homework 1 is due) will be later in the
day, from 2:00pm - 3:00pm. I will stay later if needed. |
| September 13, 2007 | Read Sethi Chapter 2 for Tuesday,
Sep. 18. Available here.
Username and password available on electronic discussion
board. |
| September 10, 2007 | Homework 1 and demo program files
added to the assignments
page. |
| September 6, 2007 | Introduction to Programming
Languages lecture slides (L1)
posted. |
| September 3, 2007 | Course Introduction lecture slides (L0)
posted. |