Notes on Peter Naur: Programming as Theory Building
· 5 min read
Abstract: A programmer's main output is a theory. A program or program text is a manifestation of a part of that theory. Documentation and program text is insufficient to convey a theory. A program without its theory is dead, and should be replaced with a new theory.

