Master Course
Automatic Program Analysis
WebHome
-
Education Page
-
Description
-
Literature
-
Schedule
-
Assignments
-
Software
Center
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Course Assignments
Apa0506
---++ Assignments and deadlines The programming assignment and written assignment should be considered to be assignments given in parallel. Try to spend a number of hours per week on both a programming assignment and a written assignment. *Deadlines are still tentative and thus subject to change.* The following deadlines exist, ordered by deadline date. 1 [[DataFlow][Data flow analysis written assignment]] [Deadline tue May 16th 2006, 12:45] 1 [[MonotoneFrameworksPartOne][Monotone framework programming assignment part one]] submit as _monotone1_ [Deadline Wed May 31st 2006, 23:59] 1 [[ControlFlow Assignment][Control flow analysis written assignment]] [Deadline tue June 13th 2006, 12:45] 1 [[Type and Effect Systems][Type and effect systems written assignment]] [Deadline tue June 20th 2006, 12:45] 1 [[Abstract Interpretation Assignment][Abstract interpretation written assignment]] [Deadline fri June 30th 2006, 12:45] 1 [[MonotoneFrameworksPartTwo][Monotone framework programming assignment part two]] submit as _monotone2_ [Deadline wed July 5th 2006, 23:59] ---++ Submission The deadlines for the various assignments and parts of assignments to be submitted are listed above. Try to be on time; this greatly simplifies the administration task. People who submit too late, should take into account that they will get at least a one point penalty for the overhead (out of ten), depending on how much too late the submission is. The programming assignments should be in the form of a single zip file including the necessary code and documentation, as explained on the page for the assignment. They should be submitted to me using the [[http://www.cs.uu.nl/docs/submit/][Submit]] system. I prefer that you put a printed version of your document into my hands at a lecture, or put it in my CGN post box (top floor). If submitted electronically, then you may do so by sending an e-mail to jur@cs.uu.nl with your entry attached. Every answer you give for the written assignment should include an explanantion why you think it is correct. *Make sure your names and student numbers are at the top of each hand-in, and in the case of software being handed in, in your documentation file and in the main source file.*