CS 422: Programming Language Design
News for Spring 2017
  • 2/27/17 - I have graded your mp1.thy and mp2.thy and committed the commented files to your repository as of last night. - ELG
  • 2/11/17 - I have placed a new set of tests in your mp2 svn directories. The file is called mp2_tests.thy (plural where the earlier file's name was singular). There are 37 tests in that file. I expect you should be able to pass these tests. However, the problem is a bit loosely specified, so if your solution doe not pass some of the tests and you are willing to argue why your answer is a reasonable solution and provide me with alternate tests that you do pass and display the reasonable nature of your solution, you will also get credit if I am convinced). - ELG
  • 2/1/17 - mp1 is up on web and in your svn repositories. - ELG
  • 1/18/17 - 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
  • README
    Objectives
    Contacting Staff
    Submitting Assignments
    Extensions
    Regrade Policy
    Collaboration
    Grading
    Textbooks
    FAQ

    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:50pm - 1:45pm,
    Fri 12:50am - 1:45pm
    Also by appointment