A program is any formal notation used to communicate ideas precisely between people or between a person and a machine. Programs are increasingly being written and used by nonprogrammers to customize applications.
Program analysis is the task of deriving information from programs.
If students are not sure whether they meet these requirements, they are invited to meet with the instructor or send email at any time to discuss whether they should take the course. The course will not use a standard textbook. Instead, published conference papers and journal articles will be read. Each paper is assigned to a particular day. Before the start of class students should turn in a short summary of the paper summarizing the purpose and contribution of the paper for that day.