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 cowboy ... is well on his way to becoming a figure of magnificent proportions. Bowlegged and gaunt, he stands as the apotheosis of manly perfection. Songs, novels, movies, magazines, and operettas have made the least inquiring of us well acquainted with his extraordinary courage, unfailing gallantry, and uncanny skill with gun or lariat. The farmer, meanwhile, sits stolidly on his tractor, bereft of romance and adventure.”
—For the State of Kansas, 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)