EFFICIENT IMMUTABLE SYNTAX REPRESENTATION WITH INCREMENTAL CHANGE
    1.
    发明申请
    EFFICIENT IMMUTABLE SYNTAX REPRESENTATION WITH INCREMENTAL CHANGE 审中-公开
    有效的不可更改的语义表达与增量变化

    公开(公告)号:WO2011084876A2

    公开(公告)日:2011-07-14

    申请号:PCT/US2010/062653

    申请日:2010-12-31

    CPC classification number: G06F17/30327 G06F8/427

    Abstract: Efficient immutable syntax representation with parent pointers under incremental change is enabled by creating a data structure comprising at least one tree structure that allows both upward and downward references in the tree and a tree structure that is immutable (read-only), and allows parts of itself to be re-used in other data structures. The data structure described enables tools to search and target particular sub trees. The fragment of the tree representing the targeted sub tree is produced as it is used. The rest of the tree is not produced. The read-only tree retains relative information, allowing it to be reassembled and shared.

    Abstract translation: 通过创建包含至少一个允许树中的向上和向下引用以及不可变(只读)的树结构的至少一个树结构的数据结构,启用了增量更改下的父指针的高效不可变语法表示,并允许部分 本身在其他数据结构中被重用。 所描述的数据结构使工具能够搜索和定位特定的子树。 表示目标子树的树的片段在使用时生成。 树的其余部分不产生。 只读树保留相关信息,允许重新组合和共享。

    TYPE INFERENCE AND TYPE-DIRECTED LATE BINDING
    2.
    发明申请
    TYPE INFERENCE AND TYPE-DIRECTED LATE BINDING 审中-公开
    类型干扰和类型指向的最后绑定

    公开(公告)号:WO2007030282A1

    公开(公告)日:2007-03-15

    申请号:PCT/US2006/031709

    申请日:2006-08-15

    CPC classification number: G06F8/31 G06F9/449

    Abstract: Systems and methods that enhance and balance a late binding and an early binding in a programming language, via supplying an option component to opt-in (or opt-out) late binding, and wherein a late binding is triggered based on a static type for the variable (e.g., object or a type/string.) Additionally, the variable is enabled to have different static types at different regions (e.g., a program fragment) of the programming language.

    Abstract translation: 通过提供选项组件来选择(或选择退出)后期绑定,增强和平衡编程语言中的后期绑定和早期绑定的系统和方法,并且其中基于静态类型触发后期绑定 变量(例如,对象或类型/字符串)。此外,变量可以在编程语言的不同区域(例如,程序片段)中具有不同的静态类型。

Patent Agency Ranking