Programs Are Models That RunPrograms have much in common with models, in particular they are abstractions of a system that makecertain properties explicit and hide, or abstract away, other properties. But programs have a specialproperty that most kinds of models do not – they can automatically produce the actual computation theymodel.