| 
|
Quote: a program is a partial function from initial states and valid inputs to possible ending states
topics >
all references >
references p-r >
Topic:
programming as mathematics
Topic:
state machine
Topic:
program source as truth
Quotation Skeleton
We view a program as a nondeterministic mechanism … [A program is a limited domain relation that halts on all inputs in its domain. The relation is between initial states and possible ending states. Guards guarantee that all inputs are in the domain. Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: a program is a nondeterministic mechanism that changes the state of the machine it controls
Topic: programming as mathematics (27 items)
Topic: state machine (67 items)
Topic: program source as truth (17 items)