José A. Alonso on Nostr: Rely-guarantee semantics for separation-logic-based specification extraction. ~ Paul ...
Published at
2024-08-06 11:27:55Event JSON
{
"id": "6f08cdedf8cc214408bfe99d107482c51b990195b70466bba37a8f87239095ee",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1722943675,
"kind": 1,
"tags": [
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"t",
"phdthesis"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112914836722647096",
"activitypub"
]
],
"content": "Rely-guarantee semantics for separation-logic-based specification extraction. ~ Paul He. https://paulhe.com/assets/thesis.pdf #PhDThesis #ITP #Coq",
"sig": "5945adae80f4eb7830cad0515cce4ceffc7c80e783faf88bc14016274542dea3776e7cef8b1cf4f68d7c298bfc4f094c405100d9da791ccd458b9bbcc1aa50b6"
}
