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:
“Oh Death he is a little man,
And he goes from do’ to do’ ...”
—Federal Writers’ Project Of The Wor, 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)