Importance

Loading Importance Indicators...

Abstract

An automatic program synthesizer is disclosed. The synthesizer comprises program rule memory for storing a program synthesis rule, program synthesis goal generator for generating a program synthesis goal suitable for system specifications of a target system by using the program synthesis rule, program generator for generating a retrieval condition on the basis of the program synthesis goal, the retrieval condition being a condition for retrieving variables having the same attribute, variable attribute memory for storing a variable name and the variable attribute, interpolation program synthesis rule memory for storing an interpolation program synthesis rule for generating an interpolation program, and variable attribute manager for receiving the retrieval condition from the program generator and for controlling the variable attribute memory to retrieve a variable name and sending a retrieved variable name to the program generator upon reception of the retrieval condition, the program generator generating a partial program by using the retrived variable name, the variable attribute manager controlling the interpolation program synthesis rule memory to generate an interpolation program synthesis goal for changing an attribute by using a variable having some different attributes in accordance with the interpolation program synthesis rule stored in the interpolation program synthesis rule memory and sending the interpolation program synthesis goal to the program generator, and the program generator generating the interpolation program by using the interpolation program synthesis goal.

Loading the Abstract Image...

First Claim