programtheory

noun
UK /ˈprəʊ.ɡræmˌθɪə.ri/
US /ˈproʊ.ɡræmˌθɪr.i/

A program theory is a plan that shows how a program is supposed to work and why it should help people.

The teachers drew a program theory to explain how the new reading club would help kids read better.


OTHER MEANINGS

2. In computer science, a program theory is a set of rules used to reason about what a computer program does.

The students used program theory to prove their sorting code would always finish.

3. A program theory can mean the ideas and beliefs that shape how a plan or course of study is designed.

The school's program theory says that learning should be hands-on and fun.

4. In logic, program theory is the study of how formal rules guide step-by-step reasoning.

Her paper on program theory explained how logical steps lead to conclusions.