Identify the transformation points

Let P be a program component that reads a list of N records and a range condition on the record key. The first seven characters of the record form the record key. P reads the key and produces an output file that contains only those records whose key falls in the prescribed range. For example, if the range is “JONES” to “SMITH,” then the output file consists of all records whose keys are lexicographically between “JONES” and “SMITH.” Write the input and output conditions as assertions to be used in proving P correct.

Write a flow diagram of what P’s logical flow might be and identify the transformation points.

Don't use plagiarized sources. Get Your Custom Essay on
Identify the transformation points
Just from $13/Page
Order Essay
Place Order
Grab A 14% Discount on This Paper
Pages (550 words)
Approximate price: -
Paper format
  • 275 words per page
  • 12 pt Arial/Times New Roman
  • Double line spacing
  • Any citation style (APA, MLA, Chicago/Turabian, Harvard)