会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Automatic program synthisizer
    • 自动程序合成器
    • US5038296A
    • 1991-08-06
    • US503924
    • 1990-04-04
    • Yasuko Sano
    • Yasuko Sano
    • G06F9/06G05B15/02G06F9/44
    • G06F8/30G06F8/10Y10S706/922
    • 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.
    • 公开了一种自动程序合成器。 合成器包括用于存储程序合成规则的程序规则存储器,用于通过使用程序合成规则生成适合于目标系统的系统规范的程序合成目标的程序合成目标生成器,用于基于程序合成规则生成检索条件的程序生成器 程序合成目标,检索条件是用于检索具有相同属性的变量的条件,用于存储变量名称的变量属性存储器和变量属性,用于存储用于生成内插程序的内插程序合成规则的内插程序合成规则存储器,以及 可变属性管理器,用于从程序生成器接收检索条件,并且用于控制变量属性存储器以检索变量名称,并且在接收到检索条件时将检索到的变量名发送到程序生成器,程序生成器通过使用程序生成器生成部分程序 所述变量属性管理器控制插补程序合成规则存储器,以根据存储在插值程序合成规则中的插值程序合成规则,通过使用具有一些不同属性的变量来生成用于改变属性的内插程序合成目标 存储器并将内插程序合成目标发送到程序生成器,并且程序生成器通过使用插值程序综合目标生成内插程序。