Creating and checking runtime data types
    6.
    发明申请
    Creating and checking runtime data types 有权
    创建和检查运行时数据类型

    公开(公告)号:US20050055680A1

    公开(公告)日:2005-03-10

    申请号:US10657709

    申请日:2003-09-09

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: G06F8/31 G06F8/437

    摘要: Methods and apparatus, including computer program products, for defining and using data types at runtime. A procedural source code program is compiled to generate a compiled program having instructions to create a runtime data type and to use the runtime data type. The runtime data type has a compound structure of referenced data types. Instructions to create a runtime data type having a compound structure are executed by creating a runtime data type definition from the compound structure of referenced data types by resolving the referenced data types bottom up into data types known at runtime. A data object having the runtime data type is created. Type checking is performed on uses of the data object at runtime according to the runtime data type.

    摘要翻译: 方法和设备,包括计算机程序产品,用于在运行时定义和使用数据类型。 编译程序源代码程序以生成具有创建运行时数据类型和使用运行时数据类型的指令的编译程序。 运行时数据类型具有引用数据类型的复合结构。 创建具有复合结构的运行时数据类型的说明是通过从被引用的数据类型的复合结构中创建运行时数据类型定义来执行的,通过将引用的数据类型从底部解析为运行时已知的数据类型。 创建具有运行时数据类型的数据对象。 根据运行时数据类型,在运行时对数据对象的使用执行类型检查。

    Creating and checking runtime data types
    8.
    发明授权
    Creating and checking runtime data types 有权
    创建和检查运行时数据类型

    公开(公告)号:US07350198B2

    公开(公告)日:2008-03-25

    申请号:US10657709

    申请日:2003-09-09

    IPC分类号: G06F9/45

    CPC分类号: G06F8/31 G06F8/437

    摘要: Methods and apparatus, including computer program products, for defining and using data types at runtime. A procedural source code program is compiled to generate a compiled program having instructions to create a runtime data type and to use the runtime data type. The runtime data type has a compound structure of referenced data types. Instructions to create a runtime data type having a compound structure are executed by creating a runtime data type definition from the compound structure of referenced data types by resolving the referenced data types bottom up into data types known at runtime. A data object having the runtime data type is created. Type checking is performed on uses of the data object at runtime according to the runtime data type.

    摘要翻译: 方法和设备,包括计算机程序产品,用于在运行时定义和使用数据类型。 编译程序源代码程序以生成具有创建运行时数据类型和使用运行时数据类型的指令的编译程序。 运行时数据类型具有引用数据类型的复合结构。 创建具有复合结构的运行时数据类型的说明是通过从被引用的数据类型的复合结构中创建运行时数据类型定义来执行的,通过将引用的数据类型从底部解析为运行时已知的数据类型。 创建具有运行时数据类型的数据对象。 根据运行时数据类型,在运行时对数据对象的使用执行类型检查。