The automatic algorithm programming model can increase the dependability and efficiency of program development, including specification generation, refinement, formal verification. However, existing has two flaws: incompleteness refinement inadequate automation This paper proposes an based on improved Morgan's calculus. It extends calculus rules designs C++ generation system for realizing compl...