An exploration of the relation between the language in which a computer program is written and the ease and efficiency of making sure that program is correct. First, definitions are provided for such overadaptive phrases as "validity," "testing," "l...