Relationship between PL and Correctness(6) Genera High-level languages take many decisions out of programmers hands One reason they are so fiercely resented by experienced programmers Language should restrict programmer to decisions that really matter Decisions should be recorded in program independent of external documentation Simplicity of language less important than ability to write conceptually simple programsCopyright Nancy Leveson, Sept. 1999 Relationship between PL and Correctness (6) General High-level languages take many decisions out of programmer’s hands. One reason they are so fiercely resented by experienced programmers. Language should restrict programmer to decisions that really matter. Decisions should be recorded in program independent of external documentation. Simplicity of language less important than ability to write conceptually simple programs. � c