Combination reduction processing method and apparatus
    2.
    发明授权
    Combination reduction processing method and apparatus 失效
    组合还原处理方法和装置

    公开(公告)号:US4734848A

    公开(公告)日:1988-03-29

    申请号:US754967

    申请日:1985-07-15

    IPC分类号: G06F9/44 G06F15/20

    CPC分类号: G06F8/311 G06F9/4436

    摘要: A calculation processing system characterized by decomposing a program into tuples, functions and variables, including abstracting the decomposed program thereby to transform it into a combinator graph, assigning the program in the combinator graph to a plurality of process units, and executing the assigned program through reductions.

    摘要翻译: 一种计算处理系统,其特征在于将程序分解为元组,函数和变量,包括抽象分解程序,从而将其转换为组合图,将组合图中的程序分配给多个处理单元,并通过 减少

    Data transforming method using externally provided transformation rules
    3.
    发明授权
    Data transforming method using externally provided transformation rules 失效
    使用外部提供的转换规则的数据变换方法

    公开(公告)号:US5321606A

    公开(公告)日:1994-06-14

    申请号:US195142

    申请日:1988-05-18

    摘要: In transformation from a symbol string to a term, transformation rules received describe structures of input symbol strings in the form of a context-free grammar, and include structures of output terms as arguments of terminal symbols and non-terminal symbols. An inputted symbol string is analyzed by reduction processing based on the structures of input symbol strings described in the transformation rules, and an intermediate tree is formed. A term for output is produced in accordance with the structures of output terms shown in the arguments of the terminal symbols and the non-terminal symbols corresponding to the structure of the inputted symbol string. Transformation of structured data is performed in like manner using transformation rules which describe structures of input data in terms of relations between classes of partial structures, and includes structures of output data as arguments of class identifiers.

    摘要翻译: 在从符号串到术语的转换中,接收到的变换规则以无上下文的语法的形式描述输入符号串的结构,并且包括作为终端符号和非终端符号的参数的输出项的结构。 通过基于转换规则中描述的输入符号串的结构的缩小处理来分析输入的符号串,形成中间树。 根据终端符号的参数和对应于输入符号串的结构的非终端符号所示的输出项的结构产生用于输出的术语。 使用基于部分结构类之间的关系的输入数据的结构的变换规则,以类似的方式执行结构化数据的转换,并且包括作为类标识符的参数的输出数据的结构。

    Program synthesizing method and apparatus
    4.
    发明授权
    Program synthesizing method and apparatus 失效
    程序合成方法及装置

    公开(公告)号:US5315710A

    公开(公告)日:1994-05-24

    申请号:US819869

    申请日:1992-01-13

    IPC分类号: G06F9/06 G06F9/44 G06F7/32

    CPC分类号: G06F8/30 Y10S707/99931

    摘要: A plurality of program components, which do not have matching interfaces, are combined together automatically to generate a larger new program. An interface specifications' database registers the interface specifications corresponding to each of the program components. A program transformation rule memory stores transformation rules for controlling the reconciliation of the non-matching interface specifications of the program components. A data type memory stores data type transformation rules for reconciling non matching data specifications. A mediating program generator detects a mismatch of the interface specifications between at least two program components which are being combined and generates a mediating program in accordance with the program transformation rule and the data type transformation rule which mediating program enables the two programs and their data to communicate. A components composer generates the larger new program from the program components in the program components' database and the generated mediating program.

    摘要翻译: 不具有匹配接口的多个程序组件被自动组合在一起以产生较大的新程序。 接口规范'数据库注册与每个程序组件相对应的接口规范。 程序转换规则存储器存储用于控制程序组件的不匹配接口规范的调节的变换规则。 数据类型存储器存储用于调整非匹配数据规范的数据类型转换规则。 中介程序生成器检测正在组合的至少两个程序组件之间的接口规范的不匹配,并且根据程序转换规则和数据类型转换规则生成中介程序,该中介程序使得两个程序及其数据能够 通信。 组件编写器从程序组件数据库中的程序组件和生成的中介程序生成更大的新程序。