Showing Image 64 items

1. A new approach to recursive programs.

2. A deductive approach to program synthesis

3. AL users' manual

4. Checking proofs in the metamathematics of first order logic.

5. A hypothetical dialogue exhibiting a knowledge base for a program-understanding system.

6. Interactive generation of object models with a manipulator.

7. BAIL: a debugger for SAIL.

8. FAIL.

9. Natural language understanding systems within the AI paradigm: a survey and some comparisons.

10. Inference rules for program annotation