Nancy Leveson, Sept 1999 Relationship between Pl and correctness Decreasing emphasis as an explicit design goal and research topic Masterability Not complex: programmers understand it in its entirety The most important decisions in language design concern what is to be left out. "( Wirth) Powerful features oK only if easy to use correctly Balance against need to keep language simple Natural Language should not surprise us in any of its effects Should correspond to our experience with natural languages, mathematics, and other PLsCopyright Nancy Leveson, Sept. 1999 Relationship between PL and Correctness Decreasing emphasis as an explicit design goal and research topic. Masterability Not complex: programmers understand it in its entirety The most important decisions in language design concern what is to be left out." (Wirth) Powerful features OK only if easy to use correctly. c Balance against need to keep language simple "Natural" Language should not surprise us in any of its effects. Should correspond to our experience with natural languages, mathematics, and other PLs �