This preview shows page 1. Sign up to view the full content.
Unformatted text preview: 272 Homework Assignment 2 Fall 2008 Due: Wednesday, October 29th, 5:00PM Do not discuss the problems with anyone other than the instructor or the TA. Submission Instructions: Solution to Problem 3 can be submitted electronically or on paper. Solutions to Problems 1 and 2 should be submitted electronically via email to firstname.lastname@example.org with [CS272-HW2-YourLastName] as the subject line. For problems 1 and 2 your submission should include the Alloy specifications and the output messages from the Alloy Analyzer should be attached as a separate text file. 1. Consider a Doubly Linked List (DLL) . If a DLL is not empty, its head is a node that does not have a prev node. If a DLL is not empty, its tail is a node that does not have a next node. An empty DLL does not have a head node. The contents of a DLL is the set of nodes that are reachable from the head node by following the next links, plus the head node. The tail node is included in the contents. For all nodes that are reachable from the head node, the next of the previncluded in the contents....
View Full Document
- Spring '08