The Disciplined Use of Simplifying Assumptions (opens in new tab)

The Disciplined Use of Simplifying Assumptions Rich, Charles; Waters, Richard C. Simplifying assumptions — everyone uses them but no one's programming tool explicitly supports them. In programming, as in other kinds of engineering design, simplifying assumptions are an important method for dealing with complexity. Given a complex programming problem, expert programmers typically choose simplifying assumptions which, though false, allow them to arrive rapidly at a program which addresses the i...