58 followers
Awesome paper on computing: https://t.co/DmFfNCVQ01
Awesome paper on computing: https://t.co/DmFfNCVQ01
RT @yf0fyf: Hoare論理の礎になったとされるFloydの"Assigning Meanings to Programs"が面白い。Axiomatic semanticsの走り? https://t.co/TvsHe4NVlX
RT @yf0fyf: Hoare論理の礎になったとされるFloydの"Assigning Meanings to Programs"が面白い。Axiomatic semanticsの走り? https://t.co/TvsHe4NVlX
RT @yf0fyf: Hoare論理の礎になったとされるFloydの"Assigning Meanings to Programs"が面白い。Axiomatic semanticsの走り? https://t.co/TvsHe4NVlX