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:
“Navajo men and boys have an odd way of showing their friendship. When two young men meet at the trading post, a “Sing”, or a dance they greet each other, inquire about the health of their respective families, then stand silently some ten or fifteen minutes while one feels the other’s arms, shoulders, and chest.”
—Administration in the State of Ariz, U.S. public relief program (1935-1943)
“It is an immense loss to have all robust and sustaining expletives refined away from one! At ... moments of trial refinement is a feeble reed to lean upon.”
—Alice James (1848–1892)