利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

9 条记录 (耗时 0.01 秒)

    DATA SCOPING AND DATA FLOW IN A CONTINUATION BASED RUNTIME
    1.
    发明申请
    DATA SCOPING AND DATA FLOW IN A CONTINUATION BASED RUNTIME 审中-公开
    基于连续运行时的数据范围和数据流

    公开(公告)号：WO2009055757A3

    公开(公告)日：2009-09-17

    申请号：PCT/US2008081237

    申请日：2008-10-26

    申请人： MICROSOFT CORP

    发明人： WOLF KENNETH DAVID ,  PINTO EDMUND S V ,  SCHMIDT ROBERT B ,  TALBERT NATHAN C ,  MILLET STEPHEN J ,  BOX DONALD F

    IPC分类号： G06F9/06 ,  G06F5/00 ,  G06F17/21

    CPC分类号： G06F9/5038

    摘要： Described is a data model used in a continuation based runtime that executes activities. The data model provides for declaring parameters to define data flow direction (in, out or both in and out) with respect to activities. The model further allows for the declaring of variables to provide for data storing and sharing between activities that are in scope, based on a tree relationship between activities. In one aspect, an activity tree includes a topmost parent composite activity and at least one child activity of that topmost parent composite activity. Variables are associated with one or more composite activities of the tree, and the ancestral relationships between composite activities and (non-composite) child activities determine the in-scope access to variables. Arguments such as binding expressions may bind variables to an activity's parameters.

    摘要翻译： 描述的是在基于延续的运行时中执行活动的数据模型。 该数据模型提供了声明参数以定义关于活动的数据流方向（进，出或同时进出）。 该模型还允许根据活动之间的树状关系声明变量以提供范围内活动之间的数据存储和共享。 在一个方面，活动树包括最上面的父组合活动和该最上面的父组合活动的至少一个子活动。 变量与树的一个或多个复合活动相关联，复合活动与（非复合）子活动之间的祖先关系决定了对变量的范围内访问。 绑定表达式等参数可能会将变量绑定到活动的参数。

    LAMBDA EXPRESSIONS
    2.
    发明申请
    LAMBDA EXPRESSIONS 审中-公开
    林肯表达

    公开(公告)号：WO2007018774A3

    公开(公告)日：2007-05-24

    申请号：PCT/US2006024567

    申请日：2006-06-23

    申请人： MICROSOFT CORP

    发明人： MEIJER HENRICUS JOHANNES MARIA ,  HEJLSBERG ANDERS ,  BOX DONALD F ,  WARREN MATTHEW J ,  BOLOGNESE LUCA ,  KATZENBERGER GARY S ,  HALLAM PETER A ,  KULKARNI DINESH C

    IPC分类号： G06F9/45

    CPC分类号： G06F8/437 ,  G06F8/311 ,  G06F8/312

    摘要： The subject disclosure pertains to lambda expressions and the employment of such expressions in imperative and/or object-oriented computer programming languages. Lambda expressions can be employed in conjunction with methods (e.g., arguments, assignment ) to provide a more concise and functional manner of code specification. Further, lambda expressions can participate in type inference and checking as well as overload resolution, among other things.

    摘要翻译： 主题公开涉及lambda表达式以及在命令式和/或面向对象的计算机编程语言中使用这种表达式。 Lambda表达式可以与方法（例如，参数，分配）一起使用，以提供更简洁和功能性的代码规范方式。 此外，lambda表达式可以参与类型推断和检查以及重载分辨率等等。

    PROGRAMMING LANGUAGE WITH EXTENSIBLE SYNTAX
    3.
    发明申请
    PROGRAMMING LANGUAGE WITH EXTENSIBLE SYNTAX 审中-公开
    使用可扩展语法编程语言

    公开(公告)号：WO2010042372A3

    公开(公告)日：2010-07-08

    申请号：PCT/US2009059121

    申请日：2009-09-30

    申请人： MICROSOFT CORP

    发明人： LANGWORTHY DAVID E ,  LOVERING BRADFORD H ,  BOX DONALD F ,  WILLIAMS JOSHUA ,  DELLA-LIBERA GIOVANNI M

    IPC分类号： G06F9/45 ,  G06F9/04

    CPC分类号： G06F8/41

    摘要： The subject disclosure relates to an extensible syntax for a scripting language that allows data intensive applications to be written in a compact, human friendly, textual format, and also according to self-defined syntax within the data intensive applications so that a single compilation unit of a program can support multiple syntaxes. An extensible syntax is provided for M that allows alternate syntaxes to be defined in line and then used in the program so as to accommodate user-defined syntaxes and other pre-existing domain specific languages. In one embodiment, the alternate syntaxes can be defined at pre-designated functional points in the program.

    摘要翻译： 本主题公开涉及用于脚本语言的可扩展语法，其允许以紧凑的，人性化的文本格式并且还根据数据密集型应用程序内的自定义语法来编写数据密集型应用程序，使得单个编译单元 一个程序可以支持多种语法。 为M提供了一种可扩展的语法，允许按行定义替代语法，然后在程序中使用，以适应用户定义的语法和其他预先存在的领域特定语言。 在一个实施例中，可以在程序中的预先指定的功能点处定义替代语法。

    TREE-BASED DIRECTED GRAPH PROGRAMMING STRUCTURES FOR A DECLARATIVE PROGRAMMING LANGUAGE
    4.
    发明申请
    TREE-BASED DIRECTED GRAPH PROGRAMMING STRUCTURES FOR A DECLARATIVE PROGRAMMING LANGUAGE 审中-公开
    基于树的指导性图形编程结构用于声明编程语言

    公开(公告)号：WO2010039893A3

    公开(公告)日：2010-07-01

    申请号：PCT/US2009059112

    申请日：2009-09-30

    申请人： MICROSOFT CORP

    发明人： LANGWORTHY DAVID E ,  HAMBY JOHN L ,  LOVERING BRADFORD H ,  BOX DONALD F

    IPC分类号： G06F17/00 ,  G06F9/44

    CPC分类号： G06F8/43 ,  G06F8/75

    摘要： Embodiments of tree-based directed graph programming structures for a declarative programming language are provided. In various embodiments, complex graph structured data, referred to as "DGraphs" herein in one non-limiting implementation, is authored using a compact, human friendly syntax without the use of explicit identifiers. In one non-limiting aspect, the syntax includes support for conformance relationships, also referred to as factored relationships. In another non-limiting aspect, the semistructured graph data is a tree-based representation and the syntax includes lexical resolution of references or lexical scoping, and/or non local initialization.

    摘要翻译： 提供了一种用于声明式编程语言的基于树的有向图编程结构的实施例。 在各种实施例中，在一个非限制性实现中，本文中称为“DGraph”的复杂图形结构化数据使用紧凑的，人性化的语法而不使用显式标识符来创作。 在一个非限制性方面，语法包括对一致性关系的支持，也称为因子关系。 在另一个非限制性方面，半结构图数据是基于树的表示，并且语法包括引用或词法作用域的词法分辨率和/或非本地初始化。

    TYPE SYSTEM FOR DECLARATIVE DATA SCRIPTING LANGUAGE
    6.
    发明申请
    TYPE SYSTEM FOR DECLARATIVE DATA SCRIPTING LANGUAGE 审中-公开
    类型系统用于声明数据描述语言

    公开(公告)号：WO2010039891A3

    公开(公告)日：2010-07-01

    申请号：PCT/US2009059110

    申请日：2009-09-30

    申请人： MICROSOFT CORP

    发明人： LANGWORTHY DAVID E ,  BIERMAN GAVIN ,  GORDON ANDREW D ,  BOX DONALD F ,  LOVERING BRADFORD H ,  SCHLIMMER JEFFREY C ,  DOTY JOHN D

    IPC分类号： G06F17/00 ,  G06F17/30

    CPC分类号： G06F8/10 ,  G06F8/31

    摘要： An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type system, types can be expressed as intersections and/or unions of other types. Thus, types can be efficiently represented for a full range of types of data as may be found in real world data stores.

    摘要翻译： 提供了一个高效的，逻辑的和富有表现力的类型系统，用于灵活地定义声明性编程语言的类型，从而可以生成高效且结构紧凑的数据密集型应用程序。 类型系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。 对于类型系统，类型可以表示为交叉点和/或其他类型的联合。 因此，类型可以有效地表示为可以在真实世界数据存储中找到的全范围类型的数据。

    ACCESSING DIFFERENT TYPE STRUCTURES VIA A COMMON DATA STRUCTURE
    7.
    发明申请
    ACCESSING DIFFERENT TYPE STRUCTURES VIA A COMMON DATA STRUCTURE 审中-公开
    通用数据结构访问不同类型结构

    公开(公告)号：WO2009108426A3

    公开(公告)日：2009-10-29

    申请号：PCT/US2009031888

    申请日：2009-01-23

    申请人： MICROSOFT CORP

    发明人： SZYPERSKI CLEMENS A ,  BRADLEY QUETZALCOATL ,  WILLIAMS JOSHUA R ,  ANDERSON CHRISTOPHER L ,  BOX DONALD F ,  PINKSTON JEFFREY S ,  GUDGIN MARTIN J

    IPC分类号： G06F9/06 ,  G06F9/44

    CPC分类号： G06F9/541

    摘要： A common data type structure can be used to correlate access requests between applications that implement data in accordance with different types or type structures. In one implementation, a common data structure includes schemes for operations, sequences, records, and atoms (i.e., undefined). The system can then map any type structure to the schemes of the common data structure. In operation, a request for data by an application can involve identifying one or more proxies used by an application to map the data to the common data structure. The proxies map the data to the common data structure based on the shape of the data (to the extent it can be identified). The proxies then can return one or more data structures that comprise the identified mapping information. The application can then perform operations directly on the received data structures.

    摘要翻译： 通用数据类型结构可用于根据不同类型或类型结构实现数据的应用程序之间的访问请求之间的关联。 在一个实现中，公共数据结构包括用于操作，序列，记录和原子的方案（即，未定义的）。 然后系统可以将任何类型结构映射到公共数据结构的方案。 在操作中，应用程序对数据的请求可以涉及识别由应用程序使用以将数据映射到公共数据结构的一个或多个代理。 代理根据数据的形状（在可识别的范围内）将数据映射到公共数据结构。 代理然后可以返回包括所标识的映射信息的一个或多个数据结构。 然后应用程序可以直接在接收到的数据结构上执行操作。

    ITERATIVE COMPONENT BINDING
    8.
    发明申请
    ITERATIVE COMPONENT BINDING 审中-公开
    迭代组件绑定

    公开(公告)号：WO2009099691A3

    公开(公告)日：2009-10-08

    申请号：PCT/US2009030211

    申请日：2009-01-06

    申请人： MICROSOFT CORP

    发明人： KIMMERLY RANDY S ,  ANDERSON CHRISTOPHER L ,  SZYPERSKI CLEMENS A ,  MOORE ANTHONY J ,  BOX DONALD F

    IPC分类号： G06F9/06 ,  G06F9/44 ,  G06F15/173

    CPC分类号： G06F9/4428

    摘要： Component domains used to define a binding between various components associated with the component domain. The component domain tracks the various services to be imported by each component, and tracks the various services exported by each component. At runtime, rather than at compile time, the various interrelations between the components are bound using the service import and export data. Accordingly, depending on the components available and their characteristics, the bindings may differ. This permits applications to be much more flexible. In one implementation, the binding is performed iteratively. For example, if after one iteration of binding service imports to service exports, some components may expand the services that they export, or the services that they desire to import.

    摘要翻译： 用于定义与组件域相关联的各种组件之间的绑定的组件域。 组件域跟踪每个组件要导入的各种服务，并跟踪每个组件导出的各种服务。 在运行时，而不是在编译时，使用服务导入和导出数据绑定组件之间的各种相互关系。 因此，根据可用的组件及其特性，绑定可能不同。 这允许应用程序更加灵活。 在一个实现中，迭代地执行绑定。 例如，如果在绑定服务导入到服务导出的一次迭代之后，某些组件可能会扩展其导出的服务或他们希望导入的服务。