ABSTRACT

The most common programmer's lament is that an application does not do what it should, either because it contains errors or because it works as designed but the user now wants something else. We spent §12 elaborating a style that helps in getting programs right, §13 condemning practices that often lead to programs being wrong, and §14.3 studying how to debug programs after they are written. Correctness does come first!