Approaches to automatic programming:

• Power-based: derive program from a small specification. Typically, this approach uses a small number of axioms and deep inference.

• Knowledge-based: reuse knowledge that is stored in the form of programs, equations, facts, rules, etc. Typically, this approach uses a large amount of knowledge and shallow inference.

The power-based approach hasn't gotten very far. That leaves reuse.

Contents    Page-10    Prev    Next    Page+10    Index