会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明申请
    • System and method for an improved type inference
    • 改进型推理的系统和方法
    • US20060242115A1
    • 2006-10-26
    • US11113708
    • 2005-04-25
    • Adrian BarasMichael RysIstvan CseriOliver SeeligerPeter Kukol
    • Adrian BarasMichael RysIstvan CseriOliver SeeligerPeter Kukol
    • G06F17/30
    • G06F8/437
    • An improved type inference may be calculated for a path expression that may be classified into a series of input expressions followed by steps. For each such series, the inference may be calculated based on input including a type for the input expression, an axis for the step, and a node test for the step. The cardinality of the input expression type is preserved for the calculation of the step type. Also, a set of one or more matching node types may be identified within the type repository. These matching node types are node types within the axis of the step that match the node test of the step. These matching node types are identified without calculating the full content type implied by the axis. Avoiding the calculation of the full content type of the axis may reduce the processing time required to perform the inference.
    • 可以针对路径表达式计算改进的类型推断,其可以分为一系列输入表达式,随后是步骤。 对于每个这样的系列,可以基于包括输入表达式的类型,步骤的轴和该步骤的节点测试的输入来计算推断。 保留输入表达式类型的基数用于计算步骤类型。 而且,可以在类型储存库内识别一组一个或多个匹配节点类型。 这些匹配节点类型是与步骤的节点测试匹配的步骤的轴中的节点类型。 识别这些匹配节点类型,而不计算轴所隐含的完整内容类型。 避免计算轴的完整内容类型可能会减少执行推理所需的处理时间。