Function Specifications Ocaml Programming Chapter 6 Video 2

Summary

Drilling down into the parts of a How `let` expressions create scope and shadowing. Textbook: cs3110.github.io/textbook. Developing a second implementation of a data abstraction, as an ongoing example of the documentation that implementers need ... Validation is about building confidence in the correct behavior of a How to design the equations in an algebraic What information should documentation provide vs reveal? Good The goal of testing is to expose the existence of faults. Automated unit and regression testing are especially important. Textbook: ... "Bugs" are not the best term for thinking about errors in programs. "Faults" and "failures" are better. Textbook: ... Total correctness = partial correctness + termination. Termination is not decidable in general, but well-founded relations provide a ... The correctness of a data-abstraction operation can be understood using abstraction A proof by structural induction that length distributes over append Textbook: cs3110.github.io/textbook. Bisect is a tool for automated glass-box testing and statement coverage of