Writing Code like a Mathematical Proof
Spiro Sideris

Donald Knuth is not the guy who did formal proof of programs. You want to look at Zohar Manna (https://www.amazon.com/s/ref=nb_sb_noss?url=search-alias%3Dstripbooks&field-keywords=Zohar++Manna). I spent some time long ago on this topic when I worked for AIRMICS.

Like what you read? Give Joe Celko a round of applause.

From a quick cheer to a standing ovation, clap to show how much you enjoyed this story.