YourBasic personal blog

Loop invariants can give you coding superpowers

A loop invariant is a simple yet powerful tool for designing, testing, modifying, documenting and proving code correct.
Points
118
HN comments
82
Submissions
1
Cited by
0 commenters

Math & AlgorithmsSoftware Engineering2019

On Hacker News

SubmittedTitle on HNPointsComments
Apr 3, 2019Loop invariants can give you coding superpowers by ilarum11882

More from YourBasic

All 2 posts →

Related posts from the same era