Per VognsenMar 10
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.
Show threadsree
@pervognsen ACM has it for free: https://dl.acm.org/doi/10.5555/63445.C1104363
Mar 10 at 11:05pmWeb
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