Grading Criteria of hw2

• Next message: samepst@cs.bu.edu: "Problem Set 6 problem 4"
• Previous message: Assaf Kfoury: "several announcements for CS 520"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Return-Path: <shearer@cs.bu.edu>
X-Spam-HitLevel: 
X-Spam-DCC: wuwien: cs3.bu.edu 1290; Body=1 Fuz1=1 Fuz2=1
X-Spam-Checker-Version: SpamAssassin 3.1.0 (2005-09-13) on cs3.bu.edu
X-Spam-Level: 
X-Spam-Status: No, score=-4.4 required=10.0 tests=ALL_TRUSTED,AWL,BAYES_00, HTML_50_60,HTML_MESSAGE autolearn=ham version=3.1.0
X-Spam-Pyzor: 
Received: from shearershot (cs10-dhcp2 [128.197.10.131]) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id k9GGGS3v015795 for <cs520@cs.bu.edu>; Mon, 16 Oct 2006 12:16:28 -0400
From: "Rui Shi" <shearer@cs.bu.edu>
To: "'cs520 Course Account'" <cs520@cs.bu.edu>
Subject: Grading Criteria of hw2
Date: Mon, 16 Oct 2006 12:16:28 -0400
Message-ID: <001301c6f13e$6f887cc0$830ac580@csnt.bu.edu>
Content-Type: multipart/alternative; boundary="----=_NextPart_000_0014_01C6F11C.E876DCC0"
X-Mailer: Microsoft Office Outlook 11
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2962
Thread-Index: AcbxPm8vL0RnE/v/QnGZ+Vtixcxjxg==
X-Clamav-Status: No
Status: RO
Content-Length: 4057
X-UID: 19
X-Keywords:                                                                                                    


Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit

Hi all,
 
The following is the grading criteria of written homework 2. In case you
have any concern about your grades,
please review the criteria first.
 
Thanks,
 
TF
 
============================================================================
===
Grading Criteria
 
 1. 5 points.
 
 2. 5 points for each of (a) full-beta reduction, (b) normal-order, and (c)
    call-by-name. This problem has a total of 15 points.
 
 3. 5 points.
 
 4. (a) 5 points for normal form on right hand side of the downward double
    arrow for all rules; (b) 4 points for the ability to reduce under
    lambda; (c) 4 points for application on abstraction, but in order to
    get full 4 points one has to guarantee outermost reduction first before
    it can do inner eductions; (d) 4 points for application to nanf; (e) 4
    points for the ability for outermost beta reduction; (f) 4 points for
    other normal forms to not get stuck.
 
    Problem 4 has a total of 25 points.
 
This problem set has a total of 50 points.

• Next message: samepst@cs.bu.edu: "Problem Set 6 problem 4"
• Previous message: Assaf Kfoury: "several announcements for CS 520"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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