A review and critique of the literature on the question of whether computer programs or procedures can be said to embody the meaning of an utterance. The procedural view and the truth-conditional view of semantics, meaning-as-use theory and speech act theory are contrasted.