Refinement (computing)
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification.
Read more about Refinement (computing): Program Refinement, Data Refinement, Refinement Calculus, Refinement Types
Famous quotes containing the word refinement:
“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 (18481892)