grading criteria for Problem Set 09

From: Assaf Kfoury (kfoury@bu.edu)
Date: Thu Dec 14 2006 - 10:56:21 EST 

Return-Path: <kfoury@bu.edu>
X-Spam-HitLevel: 
X-Spam-DCC: sonic.net: cs3.bu.edu 1156; Body=1 Fuz1=1 Fuz2=1
X-Spam-Checker-Version: SpamAssassin 3.1.7 (2006-10-05) on cs3.bu.edu
X-Spam-Level: 
X-Spam-Status: No, score=-4.5 required=10.0 tests=ALL_TRUSTED,AWL,BAYES_00, DATE_IN_PAST_03_06 autolearn=ham version=3.1.7
X-Spam-Pyzor: 
Received: from [128.197.14.217] (cs4-dhcp217.bu.edu [128.197.14.217]) (authenticated bits=0) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id kBEKwUwT021176 for <cs520@cs.bu.edu>; Thu, 14 Dec 2006 15:58:35 -0500
Message-ID: <45817425.3080201@bu.edu>
Date: Thu, 14 Dec 2006 15:56:21 +0000
From: Assaf Kfoury <kfoury@bu.edu>
User-Agent: Mozilla Thunderbird 1.0.7 (X11/20051013)
X-Accept-Language: en-us, en
To: cs520@cs.bu.edu
Subject: grading criteria for Problem Set 09
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Clamav-Status: No
Status: RO
Content-Length: 278
X-UID: 71
X-Keywords:

Problems (1) and (2) have 5 pts each. Problem (3) has three parts that are
2 pts each, for a total of 6 pts. Problem (4) is broken down as below: 2
for merely saying that type checking is decidable, 4 points to state
lemma/induction hypothesis, 8 points for integrity of proof.

This archive was generated by hypermail 2b29 : Thu Dec 14 2006 - 16:31:59 EST