When glossed with the perspective of (§4.2), programs are definitions within the mathematical theory of the programming language.
I remember attending, around 1990, a concert of the Philadelphia Orchestra at which the conductor Leonard Slatkin, a champion of American composers, tested his theory of the ideal program: it would contain a contemporary work, a twentieth-century classic, and a good old classical warhorse.
The underlying theory of the SEATS program is studied in many papers but there is no complete and systematic description of its output.
Another underlying theory of the care program at the moment of data collection was the motivation for treatment model of Prochaska and DiClemente (1984).
The first session included psychoeducation regarding the CBT model and explained the theory of the whole program and gave the homework to self-monitor one's own mood and associated thoughts.
It is very important for the development of the optimality theory of the semivectorial bilevel programming problem in the future.
For that, we turn to the 'heavy' version of the theory: the program ACME itself, together with conventions on representation for hand-coded inputs to the program.
This leads to the definition of a theory detailing which mechanisms of the program work in which context to produce which outcomes and for whom.
There is now substantial empirical evidence to support the claim of the premotor theory that the programming of saccadic eye movements and shifts of visual attention are closely linked.
The theory of variational inequalities represents, in fact, a very natural generalization of the theory of boundary value problems and allows us to consider new problems arising from many fields of applied mathematics, such as mechanics, physics, engineering, the theory of convex programming, and the theory of control.
