prog

Dijkstra's Predicate Transfomer Semantics

8 2021-10-23 14:35: >>2,4-6
Yes, this makes sense, thank you.
>>3
In my defense it does characterize a set. I guess that would be something like w \in {w | wp(S, Q or R)}.
>>7
I don't understand this... but I don't think I'm intended to.
18: VIP:

do not edit these