CSci 550: Program Semantics and Derivation
Spring Semester 1998
Assignments

1. Assignment #1

2. Assignment #2

3. Assignment #3

4. Assignment #4

5. Assignment #5 ( HP PCL) ( Postscript)

6. Assignment #6

7. Assignment #7 ( HP PCL) ( Postscript)

8. Assignment #8

UP to CSCI 550 root document?

Assignment #1, Due Tuesday, 27 January, 9:30 A.M.

Do the following exercises from the Cohen textbook. Show the proofs in the style we have used in class and in the notes. Write your proofs legibly on one side of sheets of paper and staple the papers together in the proper order. Turn your paper in to Professor Cunningham by the due date.

This is an individual exercise!

• Exercise 2.0, parts (a), (c)
• Exercise 2.1, parts (a), (c), (e), (g), (i)
• Exercise 2.4, part (a)

UP to CSCI 550 root document?

Assignment #2: Due Tuesday, 2 February, 9:30 a.m.

Do the following exercises.

• Exercise 2.2 (f) from the Cohen textbook.
• Exercise 2.3 (b) from the Cohen textbook.
• Exercise 3.2 (a) (b) from the Cohen textbook.
• Exercise 3.3 (a) (c) from the Cohen textbook.
• Exercises 3.10 and 3.11 from the Cohen textbook.

UP to CSCI 550 root document?

Assignment #3: Due Tuesday, 9 February, 9:30 a.m.

1. Formalize the following sentences. Suppose an array X[0..N) is given, where N >= 1.
   1. Array X is increasing.
   2. All values in X are distinct.
   3. All values in X are equal.
   4. If X contains a 1, then X contains a 0 as well.
   5. No two neighbors in X are equal.
   6. The maximum of X occurs only once in X.
   7. r is the length of a longest constant section of X.
   8. All elements of X are prime numbers.
   9. The number of odd-valued elements in X equals the number of even-valued elements.
   10. r is the product of the positive elements of X.
   11. r is the maximum of the sums of the sections of X.
   12. X contains a square.

2. Do exercise 4.2 (a) (c) (e) (g) in the Cohen textbook

3. Do exercise 4.5 (a) (c) (e) in the Cohen textbook

UP to CSCI 550 root document?

Assignment #4:

Do the following exercises.

• Exercise 5.0 (a) (b) (c) from the Cohen textbook.
• Exercise 5.1 (a) from the Cohen textbook.
• Exercise 5.2 (a) (c) (e) (f) from the Cohen textbook.
• Exercise 5.4 from the Cohen textbook.
• Exercises 5.7 from the Cohen textbook.

UP to CSCI 550 root document?

Assignment #6: Due Thursday, 2 April, 9:30 a.m.

Do two of the exercises on pages 136-7 of the Cohen textbook: 9.2-9.6.

UP to CSCI 550 root document?

Assignment #8: Due Tuesday, 21 April, 9:30 a.m.

Do Exercise 10.13 on page 170 of the Cohen textbook

UP to CSCI 550 root document?