HaraldvonBlauzahn@feddit.org to Programming@programming.devEnglish · 23 days agoHow did Software get so reliable without Proof? (Tony Hoare) [PDF]6826.csail.mit.eduexternal-linkmessage-square2fedilinkarrow-up112arrow-down10cross-posted to: [email protected]
arrow-up112arrow-down1external-linkHow did Software get so reliable without Proof? (Tony Hoare) [PDF]6826.csail.mit.eduHaraldvonBlauzahn@feddit.org to Programming@programming.devEnglish · 23 days agomessage-square2fedilinkcross-posted to: [email protected]
minus-squareHaraldvonBlauzahn@feddit.orgOPlinkfedilinkarrow-up1·22 days agoOf course, you can make reliable software. What Hoare describes, has become best practices in critical applications like space and aircraft systems. And Rust is making inroads there, too.
Of course, you can make reliable software. What Hoare describes, has become best practices in critical applications like space and aircraft systems. And Rust is making inroads there, too.