Robert Floyd.
"He pioneered in the field of program verification using logical assertions with the 1967 paper Assigning Meanings to Programs. This was a contribution to what later became Hoare logic. Floyd received the Turing Award in 1978."
tl;dr turns out program preconditions, postconditions and invariants are not just silly comments and some programming languages have tooling to mathematically prove that the code is correct according to specs.
So I'm just learning about the "science" in "computer science" some 10 years later 🤦♂️
Unhosted Marcellus
npub100…dfyy5
2023-07-25 06:56:52
in reply to nevent1q…kfwt
Author Public Key
npub100mahqlhxg50thmt5dyynu40nl25hat9kkkknzk8pqjfkvgq0xsqtdfyy5Published at
2023-07-25 06:56:52Event JSON
{
"id": "6e3d59be0a76197d3b4d4aca24bea0a4def1d949ed852fee876eaa0abf54e64d",
"pubkey": "7bf7db83f73228f5df6ba34849f2af9fd54bf565b5ad698ac708249b310079a0",
"created_at": 1690268212,
"kind": 1,
"tags": [
[
"e",
"91ad3a9083aaf591a7f83cb65af99206d32abcb81445c3929f9a642d6a086416",
"",
"root"
],
[
"e",
"d6c43664b5a6944b732258369f0cb096b02e7c8022b79f5fde9e9d600b120c3a",
"",
"reply"
],
[
"p",
"7bf7db83f73228f5df6ba34849f2af9fd54bf565b5ad698ac708249b310079a0"
],
[
"p",
"026d8b7e7bcc2b417a84f10edb71b427fe76069905090b147b401a6cf60c3f27"
]
],
"content": "Robert Floyd.\n\n\"He pioneered in the field of program verification using logical assertions with the 1967 paper Assigning Meanings to Programs. This was a contribution to what later became Hoare logic. Floyd received the Turing Award in 1978.\"\n\ntl;dr turns out program preconditions, postconditions and invariants are not just silly comments and some programming languages have tooling to mathematically prove that the code is correct according to specs.\n\nSo I'm just learning about the \"science\" in \"computer science\" some 10 years later 🤦♂️",
"sig": "166a1279b862f3d5b4c2ce38686ba4854a564f960931059052d36084478fe91f15a9fde8cd55f3ee2f36b2291a544ba48f762a45305dab466aa00de443d6f353"
}