CS6371 Home Assignments

Due date: 9/7/16 (submit through eLearning)

• HW0: Singly Linked Lists in C; 100 points.

Due date: TBA

• HW1: Functional programming with ML;

Due date: TBA

• HW2: Lambda Calculus;

Due date: TBA

• HW 2a: Redo homework 0 but using only recursion (no iterative loops such as while, for, etc.);

Due date: TBA

• HW3: Logic Programming;

Due date: TBA

• HW4: More Lambda Calc. + Building a Parser

Due date: TBA

• HW5: Sets and Domains; Denoational Semantics of Binary Numerals

Due date: TBA

• HW6: Denotational Semantics of a simple language.

Due date: TBA

• HW7: Fix Points and Axiomatic Semantics