Per Vognsen
Since he has just passed away, I was trying to find a free PDF link of my favorite Hoare paper, Proof of Correctness of Data Representations, but unfortunately it is under the Springer iron dome. You can enter the DOI 10.1007/3-540-07994-7_54 into your preferred website for liberating scientific information.
Mar 10 at 10:57pmPhanpy
Show threadPer VognsenMar 10
This is his paper on abstraction functions for concrete implementations of abstract data types. It was hugely influential and the ideas are also more directly applicable to programming practice than Hoare logic style proofs (as someone who uses informal Hoare logic proofs all the time, that is not a dis).
Show threadSharlock93Mar 10
@pervognsen I remember the asserts on the invariants for parts of ion. That style of thinking about operation having preconditions or invariants has been super helpful for me. (I hope I'm not mixing up preconditions and invariants)
Show threadsreeMar 10
@pervognsen ACM has it for free: https://dl.acm.org/doi/10.5555/63445.C1104363
Show threadPer VognsenMar 10
@sree I already checked that before posting; it's not under open access.
Show threadsreeMar 11
@pervognsen Gah! I saw free access, and I thought ACM had released all older papers open access. Apparently not, sorry!
Show threadColin GordonMar 11
@sree @pervognsen they only released older research papers, which they own copyright to. This is from a book they likely do not own the copyright to.
Show threadTony FinchMar 11
@sree @pervognsen ooh https://ia800108.us.archive.org/view_archive.php?archive=/24/items/wikipedia-scholarly-sources-corpus/10.1007%252FBF00234336.zip&file=10.1007%252FBF00289507.pdf