Cover

Nicholas R Johnson

Miracles are Real, Science is Real...Science is a Miracle - Just some thoughts about faith, science, and technology

Better Programming

Better Programming

I have been reading a book about programming correctness and robustness and attempting to assure the coder of that. The main concepts that it discussed were preconditions, postconditions, invariants, assertions, and penalties. I am concerned that I am not optimally using these things. It is clear that preconditions do not cause much overhead with the assessment for them. They generally are null...

Continue Reading...