The Art, Science, and Engineering of Programming