CS6371 Home Assignments

Jan 16th:

• HW1: Functional programming with ML; Due Feb 6th by end of class . 20% penalty for late submission. Solution to HW1 problems:

Feb 4th:

• HW2: Lambda Calculus; Due Feb 18th by end of class. 20% penalty for late submission. Solution to HW2 problems:

Feb 13th:

• HW3: Logic Programming; Due Fe 27th by end of class. 20% penalty for late submission.

Mar 1st:

• HW4 Syntax Specification. Due Mar 19th by end of class . 20% penalty for late submission.

Mar 19th:

• HW5: Sets and Domains. Due Apr 2 by end of class. 20% penalty for late submission. Solution to HW5 problems:

Apr 2nd:

• HW6: Denotational Semantics of a simple language. Due Apr 16 by end of class. 20% penalty for late submission. The paper referred to in the homework can be found here .

Apr 23rd:

• HW7: Axiomatic Semantics and Fixpoints; Due Apr 30 20% penalty for late submission.