E.W. Dijkstra argues against the idea of natural language programming, emphasizing that programming requires formal symbolism and accuracy. He highlights historical failures of verbal and pictorial mathematics and praises the effectiveness of formal texts for their simplicity and error-reduction. Dijkstra also warns about the

6m read timeFrom cs.utexas.edu
Post cover image
1 Comment

Sort: