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:
“The twelve Cells for Incorrigibles ... are also carved out of the solid rock hill. On the walls of one of the cells human “liberty” is clearly inscribed, with the “liberty” in significant quotation marks.”
—Administration in the State of Ariz, U.S. public relief program (1935-1943)
“Perhaps our own woods and fields,—in the best wooded towns, where we need not quarrel about the huckleberries,—with the primitive swamps scattered here and there in their midst, but not prevailing over them, are the perfection of parks and groves, gardens, arbors, paths, vistas, and landscapes. They are the natural consequence of what art and refinement we as a people have.... Or, I would rather say, such were our groves twenty years ago.”
—Henry David Thoreau (1817–1862)