“From one point of view, all that a program ever does is to compute; that is, it takes some inputs and produces some output.”