Comments on: In Praise of Function Pre and Postconditions https://programmingzen.com/in-praise-of-function-pre-and-postconditions/ Meditations on programming, startups, and technology Fri, 29 Jul 2016 07:09:37 +0000 hourly 1 https://wordpress.org/?v=6.9.4 By: Bevan https://programmingzen.com/in-praise-of-function-pre-and-postconditions/#comment-29163 Fri, 08 Jul 2016 16:41:53 +0000 http://programmingzen.com/?p=1694#comment-29163 When I was taking CS classes in the early 90s, this was referred to as “proving the correctness of your code”…

…basically are all the pre- and post- conditions satisfiable under all conditions? Will the correct values be returned under all circunstances?

It was a little overly formal to use every day, but I’d hope would be something all programmers are taught to keep in mind. I forget the text we used, but it was one of Dijkstra’s.

]]>