what is program theory?

http://faculty.chass.ncsu.edu/garson/PA765/program.htm