Rule based system for synthesizing a program suited for a target system in response to an input target system specification

摘要

An automatic program synthesizer receives a system specification and searches software parts suited to the specification. In order to obtain a function satisfying the system specification, the searched software parts are corrected or converted in accordance with a knowledge base for customizing a programming form stored therein.