3 ms·
Here is a link to a PDF version of this paper: [Programming as Theory Building -- Naur 1985] https://demo.cygale.net/naur1985programming.pdf https://demo.cyga
by ivan_ah 6y ago
Here is a link to a PDF version of this paper:
[Programming as Theory Building -- Naur 1985]
https://demo.cygale.net/naur1985programming.pdf https://demo.cygale.net/naur1985programming.pdf
- p4bl0 6y agoHaha 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 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).
- ivan_ah 6y agoI found the link via Google Scholar search = https://scholar.google.com/scholar?q=Programming+as+Theory+Building 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).
- p4bl0 6y agoOkay 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 https://news.ycombinator.com/item?id=26035175