| News for Spring 2016 |
5/4/16 - The final and supporting files has
been distributed to your svn directory. - ELG
4/14/16 - A solution to mp2 is available. - ELG
4/14/16 - The due date for MP3 has been pushed back to April 17 - ELG
4/1/16 - Because of a collection of mistakes in
the rules for evaluation in IMP3, I have released a new pdf
correcting as many as I found, and extended the due date by two
days. It is now due on Sunday April 3 - ELG
3/31/16 - Solutions to the midterm may be found
in exam. - ELG
2/27/16 - hw2-sol.pdf and
hw3-sol.pdf are available. - ELG
2/22/16 - MP1 has
been posted to your svn repositories, and to
the mps webpage. - ELG
2/16/16 - A revised version
of HW3 has been posted to
the mps webpage, and placed in you svn
repository. It coorects the problem of BCxt being used for both
BECxt and BBCxt in the section on Substitution in Boolean
Contexts. It also make uniform the names for contexts. Simliar
cahnges have been made to the slides, which have been revised and
reposted. - ELG
2/11/16 - HW3 has
been posted to the mps webpage, and placed in
you svn repository - ELG
2/9/16 - A solution to hw1 has been posted
to the mps webpage - ELG
2/8/16 - A correction to HW2 has been posted
to the website for mps, and a new hw2.pdf and hw2.tex have
been put in your svn directories. This change corrects using
Transition Semantics in problem 2 when I meant Context
Semantics, and it corrects the transition semantics for
boolean and and or. If you have already done the problem
using the originally given semantics, you do not need to
correct it. - ELG
1/20/16 - Welcome to the spring session of
CS422. This page will be the main bulletin board for the
course, and hence is always under construction. Please
check it frequently - ELG
|
|
| Class Schedule |
Lecture:
Wed, Fri 2:00pm - 3:15pm
1304 SC
|
| Staff |
| Professor |
|---|
Elsa Gunter
Email: egunter@illinois.edu
Office: 2112 SC
Phone: 265-6118
Office Hours:
Wed 12:30pm - 1:45pm,
Thurs 9:00am - 9:50am
Also by appointment
|
|
|