35 lines
1.2 KiB
Markdown
35 lines
1.2 KiB
Markdown
#Lab 7: Reasoning About Correctness
|
|
|
|
*CSci 2041: Advanced Programming Principles, Spring 2017*
|
|
|
|
**Due:** This work is due before you leave lab today.
|
|
|
|
In lab today your TAs will present you with some sample OCaml
|
|
functions and also a property that you will be asked to prove a
|
|
property of the functions.
|
|
|
|
You will be given about 10 minutes to work on this problem before the
|
|
solution is discussed and explained.
|
|
|
|
Create a directory called ``Lab_07`` and in the directory create a
|
|
file named ``lab_07.txt`` that is a text file the contains both the
|
|
sample functions given to your lab and also the proof of the property
|
|
that you are asked to prove.
|
|
|
|
Your text file must contain well-marked answers to the following
|
|
questions:
|
|
|
|
1. What is the induction principle for the type of data used in the
|
|
sample functions?
|
|
2. What is the property that you are asked to prove?
|
|
3. What is the "base case" that you need to prove?
|
|
4. What is the "inductive case" that you are asked to prove?
|
|
5. What is the "inductive hypothesis" that you can use in proving the
|
|
inductive case?
|
|
|
|
These are questions that you may be asked to answer on the quiz on
|
|
Wednesday.
|
|
|
|
|
|
|
|
Commit and push this file before you leave lab today.
|