Comment by cloogshicer
4 years ago
The referenced article by Peter Naur (Turing Award winner, invented Backus-Naur-Form) is well worth a read.
4 years ago
The referenced article by Peter Naur (Turing Award winner, invented Backus-Naur-Form) is well worth a read.
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).
1 reply →