Automatic program synthisizer

Details Automatic program synthisizer Automatic program synthisizer

1990-04-04

1991-08-06

MacDonald, Allen R.

Boots, shoes, and leggings

364200, 364900, 381101, G06F 100

Patent

active

050382969

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.

REFERENCES:
patent: 4458362 (1984-07-01), Berkovitz et al.
patent: 4713775 (1987-12-01), Scott et al.
patent: 4819160 (1989-04-01), Tanka et al.

Affiliated with

Also associated with

Rating

Automatic program synthisizer does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Automatic program synthisizer, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic program synthisizer will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1992198