Media Summary: Bisect is a tool for automated glass-box testing and statement coverage of In a small-step semantics, an expression repeatedly takes a single step of A comparison of big-step vs. small-step semantics, and substitution model vs. environment model Textbook: ...
Evaluation Relations Ocaml Programming Chapter - Detailed Analysis & Overview
Bisect is a tool for automated glass-box testing and statement coverage of In a small-step semantics, an expression repeatedly takes a single step of A comparison of big-step vs. small-step semantics, and substitution model vs. environment model Textbook: ... Defining and implementing the big-step substitution-model semantics of a simple language Textbook: ... Compilers translate code from one language to another. Interpreters execute code. Virtual machines and just-in-time compilation ... Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ...
The goal of testing is to expose the existence of faults. Automated unit and regression testing are especially important. Textbook: ... A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... Comparing the difference between `open` and `include` in modules Textbook:
