Refinement (computing)

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 (1848–1892)