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
Articles by others on the same topic
There are currently no matching articles.