2 ms·
The critique of "An Axiomatic Basis for Computer Programming" is pretty much on spot though. The humble "procedure call" was not given a satisfactory Hoare's ru
by Joker_vD 2y ago
The critique of "An Axiomatic Basis for Computer Programming" is pretty much on spot though. The humble "procedure call" was not given a satisfactory Hoare's rule until the late 80s, for instance.