What I've learned this week is that proving the correctness of a program can be a long and enduring task. I did not expect either of correctness proofs we did in class to be anywhere near as long as they were. The content of the proofs were not complicated in nature but having to describe what happens at every line of the code in different cases seems like it could become tiresome. What happens if we start having to prove the correctness of a program that's 40 or 50 lines long instead of the 5 or 10 lines we do in class? I'm pretty sure Danny won't make us experience that unless the program was loaded with if/else statements so it'd be, in essence, a 5 or 10 line code. Well, here's hoping.
I know I usually write a little bit more than I'm writing this week but, after having written 3 midterms last week and having not started 2 or 3 assignments that are due next week, I need all the time I can get.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment