Sonoma State University
Department of Computer Science
CS-460: Programming Languages
Exercise 7b

Objective:

With your team, explain the following:

1. Should the declaration at line 4 (below) be said to introduce an alias type?
2. Under strict name equivalence, should x and y (below) have the same type?

Consider the following declarations:

1. type cell -- a forward declaration
2. type cell_ptr = pointer to cell
3. x : cell
4. type cell = record
5. val : integer
6. next : cell_ptr
7. y : cell

Submitting your solution:

You may write your solution as a textual narrative explanation. Please write each of your team member's names on your assignment submission along with "Exercise 7b" on your solution.

Exercise 7b Rubric

CRITERIA	RATINGS			POINTS
Problem 1	Proficient 10 points Team submission provides a narrative explanation for questions one and two.	Satisfactory 7 points Team submission provides a narrative explanation but does not answer both questions one and two.	Below Expectation 0 points No solution submitted.	10 points
Total points: 10