Glimmer Labs

Exercise: A Formal Problem Specification

The selection sort algorithm requires us to repeatedly remove a value from a list. Without worrying about how to remove an element from a list, carefully describe what it means to remove a value from a list. Think about it in the sense of writing a contract for the programmer: What guarantees do you require for the result of the algorithm?


This document was generated by Siteweaver on Fri Sep 10 10:16:18 2004.
The source to the document was last modified on Tue Aug 20 11:58:38 2002.
This document may be found at http://www.cs.grinnell.edu/~rebelsky/Glimmer/Sorting/formalize-remove.html.

You may wish to validate this document's HTML ; Valid CSS! ; Check with Bobby

Glimmer Labs: The Grinnell Laboratory for Interactive Multimedia Experimentation & Research
glimmer@grinnell.edu