Comment by ivan_ah
4 years ago
Here is a link to a PDF version of this paper:
[Programming as Theory Building -- Naur 1985] https://demo.cygale.net/naur1985programming.pdf
4 years ago
Here is a link to a PDF version of this paper:
[Programming as Theory Building -- Naur 1985] https://demo.cygale.net/naur1985programming.pdf
Haha I wonder how did you came across this link?
This demo website might disappear or at least the pdf might be removed from it. The stable version of this PDF is on my web page here: https://pablo.rauzy.name/dev/naur1985programming.pdf
EDIT: to the mods: maybe the link in the parent comment could be updated and my comment deleted? (I am the maintainer of cygale.net — the demo website can be edited by virtually anyone… my personal webpage is much more trustable).
I found the link via Google Scholar search = https://scholar.google.com/scholar?q=Programming+as+Theory+B...
I was looking for a version of the paper with machine-selectable text (because the PDF linked in the OP is a scan with no OCR).
Okay thanks. I will put a permanent redirect to inform GScholar's index of the actual stable URL of the document. Text selection and accessibility is indeed why I took the time to build this proper PDF as I explained here before seeing your comment: https://news.ycombinator.com/item?id=26035175