In formal methods, program refinement is the verifiable transformation of an abstract (high-level) formal specification into a concrete (low-level) executable program. Stepwise refinement allows this process to be done in stages. Logically, refinement normally involves implication, but there can be additional complications.
Read more about this topic: Refinement (computing)
Famous quotes containing the words program and/or refinement:
“A ‘spasm band’ is a miscellaneous collection of a soap box, tin cans, pan tops, nails, drumsticks, and little Negro boys. When mixed in the proper proportions this results in the wildest shuffle dancing, accompanied by a bumping rhythm.”
—For the City of New Orleans, U.S. public relief program (1935-1943)
“You know that your toddler needed love and approval but he often seemed not to care whether he got it or not and never seemed to know how to earn it. Your pre-school child is positively asking you to tell him what does and does not earn approval, so he is ready to learn any social refinement of being human which you will teach him....He knows now that he wants your love and he has learned how to ask for it.”
—Penelope Leach (20th century)