Henry hzoo

## naur.md

      
        
          
            
              
              1 file
            
          
          
            
              
              1 fork
            
          
          
            
              
              1 comment
            
          
          
            
              
              8 stars
            
          
        
        
          
              
          
          
            
                hzoo
                / naur.md
            
            
              Last active
              July 9, 2022 15:28
                — forked from dpritchett/naur.md
            
              
                Programming as Theory Building
              
          
        
      
        
  
      
    Programming as Theory Building

Peter Naur, 1985

PDF: http://pages.cs.wisc.edu/~remzi/Naur.pdf

Introduction

The present discussion is a contribution to the understanding of what programming is. It suggests that programming properly should be regarded as an activity by which the programmers form or achieve a certain kind of insight, a theory, of the matters at hand. This suggestion is in contrast to what appears to be a more common notion, that programming should be regarded as a production of a program and certain other texts.