Report 84 01 Partial Programs . Stanford Michael R. Nov 1984

A complete program is one that for any environment specifies a unique action for a machine to perform. Programs in most traditional programming languages are complete in this sense. By contrast, a partial program is merely an arbitrary set of constraints on the potential actions of a machine and does not necessarily specify a unique action in every enviranment.