Com S 541: Programming Languages

Got a question?

Got a question or comment? Contact us at (515) 294-6168 or hridesh@cs.iastate.edu.

Project Description

A term project is worth 40% of your grade in this course. The objective of the term project will be to reinforce the knowledge of the formal tools that you will gain in this course by applying it to a real-world research problem. The output, and the graded deliverables, will thus be expected to demonstrate the advance towards solving the problem that you have selected to work on. Note that the magnitude of advance over the semester may vary based on the topic of your project. The interim and final papers will report on your progress towards solving the problem. The description of these deliverables will be made available below as the semester progresses.

Project Deliverables, Due Dates and Weight (% of class grade)

• Idea: On or before Sept 4, 2008 at 11:59pm CST
• Proposal: 10% (Due on Sep 18, 2008 at 11:59pm CST)
• Interim Prototype and Report: 12.5% (Due on Nov 3, 2008 at 11:59pm CST)
• Final Prototype and Report: 12.5% (Due on Dec 15, 2008 at 12:00, Noon CST)
• Project Presentation: 5% (On Dec 15, 2008, 12:00 - 2:00pm CST)

Format for Proposal, Interim Report, and Final Report

These deliverables must be prepared using LaTeX. We require you to use LaTeX as the operational semantics, type systems, and meta-theory can be easily typeset using this typesetting system. We provide a template for preparing these deliverables here.