• HW1 grading guide. Q1: 3 pts Q2: 2 pts Q3: 3 pts Q4: 3 pts Q5: 3pts Q6: 1pt each. (Max overall: 20)
• HW2 grading guide. 5 pts per question. (Max overall: 15 pts.)
• HW3 grading guide: 20 points in all. 5 points max for problem 1. 1.5 points for each of the parts of exercise 2.
• HW4 grading guide. Ex.2.11: this allows mutual recursion (see p. 64 of text). It also allows use of a function that is defined elsewhere (e.g., in a different file), by giving an extern directive. 5 points. -1 if extern is not mentioned, -3 points if mutual recursion is not mentioned. Ex 2.13: macro processing binds identifiers before compile time (p.49); routine parameters are bound at run time. 5 points. Ex 2.15: see p.66. Also, note that this allows binding of an arbitrary subset of parameters; in C, only a beginning subset of parameters may be bound. 5 points. If students do not discuss the advantage w.r.t. C or C++ or Java, -1. Ex. 2.16: If A is a real and I is an integer, EQUIVALENCE (A,I) allows the same memory location to be addressed as both a real and an integer. Since usually reals and integers are represented differenty, the memory value in A (or I) after A = A + 1 I = I + 1 is not well defined. (Example from Pratt.) 5 points.

PR1 15 points. 10 for documenting that the student used simusem (parts 1 and 3, five points each); 5 for the proof of correctness.

PR2 grading guide. 10 points in total. 5 points per exercise.

HW5 grading guide. 20 points in total. 2.1.2 0.5 points each to 4 points. 2.2.2 0.5 points each to 4 points. 2.4.1 0.5 points each to 4 points. 2.4.3 1 point each to 4 points. 2.4.4 1 point each to 2 points. 2.4.5 0.5 points each to 2 points.

PR3 grading guide. 24 points in total. 2.1.1 4 points in total, 0.5 points per exercise. 3.1.1 7 points in total, 1 point per exercise, except 2 points for (f). 3.1.2 8 points in total, 2 points per exercise. 3.2.1 5 points in total (a) 2 points, (d) 4 points.

PR4 grading guide. 24 points in total. 3.3.1 6 points in total, 1 point each. 3.3.2 2 points. 3.3.3 3 points. 3.3.8 3 points. 3.3.11 6 points, 2 points per paer. 3.4.1 4 points in total. 2 points off if the solution is not logarithmic in the exponent. 1pt extra credit for solution that computes x^n.

PR5 grading guide. 20 points in total. 4 points for the relations given by extension. 2 point for each of the 8 relations given intensionally (i.e., by rule).