LOOP03. Example.

preview_player
Показать описание
We show how to ask and answer the four loopy questions on a small example.
Рекомендации по теме
Комментарии
Автор

Why do we even enforce the precondition Q if you aren't respecting it when you're checking for the correctness of the initialization of P? It would make sense to assume that "z = sum of m..k - 1" would also respect the preconditions (assuming that in actual code you're calling some kind of specification function) that the function we're trying to implement does. Otherwise you're just making unstated assumptions.

danielghenghea
Автор

yeah sure lets just take a bunch of random letters and assign them all values and expect people to know what it means when you compare m and z and k together but not P and Q

y'all couldn't have thought of a concrete example to explain something that's supposedly so important? I feel like I'm losing braincells watching this

JNaysh
welcome to shbcf.ru