## A Strategy for Automatically Generating Programs in the Lucid Programming LanguageNational Aeronautics and Space Administration, Scientific and Technical Information Office, 1987 - Computer programs - 14 pages |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

algorithm assertion in G assignment statement automatic program automatic theorem provers axioms defining basic axioms clause consists conditional clause Conditional Statements control variable data base decrease 2/2 defined inductively determine eventually Q exist clause forall clause gram high-level ical Identity of addition Identity of subtraction Induction Rule inductively to keep initial value initial variable values input variables integer invariant equation invariant true iteration keep the invariant Langley Research Center logical loop invariant Lucid as soon Lucid programming language Lucid statements Lucid Termination Rule ments NASA operations output variables P A 1 Q P A Q as soon postcondition in predicate precondition predicate calculus program generation strategy program specification program statement program verification programs correct proof of correctness proving correctness range relationship routine soon as Induction soon as Q strategy for automatically termination condition test condition theorem prover theorem-proving approach tion undefined element x2 DIV