Solving dynamic programming interview problems

Re:Solving dynamic programming interview problems by dahart on Saturday May 19, 2018 @10:23AM (#17107995)

Iteration is not inherently safer than recursion. NASA also banned while(true) iteration. The important part is "fixed upper bounds".

"Give all loops a fixed upper bound. It must be trivially possible for a checking tool to prove statically that the loop cannot exceed a preset upper bound on the number of iterations. If a tool cannot prove the loop bound statically, the rule is considered violated."

https://pdfs.semanticscholar.org/ad40/26510beb1a309902704583...

[ Parent | on HN ]

Re:Solving dynamic programming interview problems by monocasa on Saturday May 19, 2018 @05:26PM (#17109812)

The static analysis tools have a harder time parsing the upper bounds on recursive functions, and so do the engineers doing the code reviews for similar reasons.

This isn't just a NASA thing. Pretty much any embedded coding standard says the same thing. The JSF C++ standard, and MISRA-C I know both do as well, just off the top of my head.

[ Parent | on HN ]