Browsing by Subject "automatic programming"
Now showing items 1-4 of 4
-
Automatic Synthesis of Fine-Motion Strategies for Robots
(1983-12-01)The use of active compliance enables robots to carry out tasks in the presence of significant sensing and control errors. Compliant motions are quite difficult for humans to specify, however. Furthermore, robot programs ...
-
Inspection Methods in Programming: Cliches and Plans
(1987-12-01)Inspection methods are a kind of engineering problem solving based on the recognition and use of standard forms or cliches. Examples are given of program analysis, program synthesis and program validation by inspection. ...
-
Intelligent Assistance for Program Recognition, Design, Optimization, and Debugging
(1989-01-01)A recognition assistant will help reconstruct the design of a program, given only its source code. A design assistant will assist a programmer by detecting errors and inconsistencies in his design choices and by ...
-
The Programmer's Apprentice Project: A Research Overview
(1987-11-01)The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial ...