Programs are pieces of text, written in some programming language. These languages were designed for the special purpose of instructing computers. They also are used in communication among human beings for telling them how to instruct computers or for communicating algorithms which are not intended for computer execution. So programs are used for certain kinds of communication, hence they have some meaning. The branch of computer science called "semantics of programming languages' deals with the relation between programs and their meanings.