A procedure whose result depends only on its explicit argument values and which has no observable side effects. For terminating calls with reusable results, this makes the value condition of the memoization cache contract particularly simple.
// Target: computer-science.bigb
New to topics? Read the docs here!