专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20090150864A1 DECLARATIVE OBJECT IDENTITY 有权
标题翻译：声明对象身份
公开(公告)号：US20090150864A1
公开(公告)日：2009-06-11
申请号：US11953079
申请日：2007-12-10
申请人： Henricus J. Meijer , Amanda K. Silver , Paul A. Vick, JR. , Timothy Y. Ng , Harish V. Kantamneni
发明人： Henricus J. Meijer , Amanda K. Silver , Paul A. Vick, JR. , Timothy Y. Ng , Harish V. Kantamneni
IPC分类号： G06F9/44
CPC分类号： G06F8/437 , G06F9/4488
摘要： Systems and methods are described that enhance a programming language by introducing support for declarative object identity in both class declarations and object literals. An exemplary system includes a memory that stores code associated with a computer program and a component coupled to the memory. The component is configured to access the code, to identify a variable in the code and a modifier associated with the variable and, responsive to identifying the variable, to use the variable to determine the identity of an object associated with the variable and to determine whether the object is equal to another object based on value semantics.
摘要翻译：描述了通过在类声明和对象文字中引入对声明对象标识的支持来增强编程语言的系统和方法。示例性系统包括存储器，其存储与计算机程序相关联的代码和耦合到存储器的部件。组件被配置为访问代码，以识别代码中的变量和与变量相关联的修饰符，并且响应于识别变量，使用变量来确定与变量相关联的对象的身份并且确定是否该对象基于值语义等于另一个对象。

2. 发明授权

US08347266B2 Declarative object identity 有权
标题翻译：声明对象标识
公开(公告)号：US08347266B2
公开(公告)日：2013-01-01
申请号：US11953079
申请日：2007-12-10
申请人： Henricus J. Meijer , Amanda K. Silver , Paul A. Vick, Jr. , Timothy Y. Ng , Harish V. Kantamneni
发明人： Henricus J. Meijer , Amanda K. Silver , Paul A. Vick, Jr. , Timothy Y. Ng , Harish V. Kantamneni
IPC分类号： G06F9/44
CPC分类号： G06F8/437 , G06F9/4488
摘要： Systems and methods are described that enhance a programming language by introducing support for declarative object identity in both class declarations and object literals. An exemplary system includes a memory that stores code associated with a computer program and a component coupled to the memory. The component is configured to access the code, to identify a variable in the code and a modifier associated with the variable and, responsive to identifying the variable, to use the variable to determine the identity of an object associated with the variable and to determine whether the object is equal to another object based on value semantics.
摘要翻译：描述了通过在类声明和对象文字中引入对声明对象标识的支持来增强编程语言的系统和方法。示例性系统包括存储器，其存储与计算机程序相关联的代码和耦合到存储器的部件。组件被配置为访问代码，以识别代码中的变量和与变量相关联的修饰符，并且响应于识别变量，使用变量来确定与变量相关联的对象的身份并且确定是否该对象基于值语义等于另一个对象。

3. 发明申请

US20120110560A1 DATA TYPE PROVIDER FOR A WEB SEMANTIC STORE 审中-公开
标题翻译：用于网络语言存储的数据类型提供者
公开(公告)号：US20120110560A1
公开(公告)日：2012-05-03
申请号：US12912813
申请日：2010-10-27
申请人： Jomo Fisher , Luke Hoban , Timothy Y. Ng , Dmitry Lomov , Donald Syme
发明人： Jomo Fisher , Luke Hoban , Timothy Y. Ng , Dmitry Lomov , Donald Syme
IPC分类号： G06F9/45 , G06F17/30
CPC分类号： G06F8/437 , G06F8/20 , G06F16/958
摘要： A system and method for facilitating development of a computer program that interfaces with a Web Semantic store (WSS). A system queries an WSS to retrieve interface information, including schema information corresponding to a portion of data in the WSS relevant to a user application. The system uses the retrieved information to provide an integrated development environment to a user. The IDE may include one or more features such as completion lists, tool tips, and quick info. The schema information may be used to create synthetic types for use in the target program. The interface information may be used to create synthetic elements to be inserted into a target program. The synthetic types may be used to perform static type checking during an editing session or a program compilation, or to provide the IDE services. During a build, the synthetic elements may be removed and replaced with WSS access code, which is subsequently used during program runtime to access the store. The system enables a user to work with the WSS as they would for built-in parts of their program.
摘要翻译：一种用于促进与Web语义存储（WSS）接口的计算机程序的开发的系统和方法。系统查询WSS以检索接口信息，包括对应于与用户应用程序相关的WSS中的一部分数据的模式信息。系统使用检索到的信息为用户提供集成的开发环境。 IDE可能包括一个或多个功能，如完成列表，工具提示和快速信息。模式信息可以用于创建在目标程序中使用的合成类型。界面信息可用于创建要插入到目标程序中的合成元素。合成类型可用于在编辑会话或程序编译期间执行静态类型检查，或提供IDE服务。在构建期间，可以删除合成元素并用WSS访问代码替换，随后在程序运行期间使用合成元素访问存储。该系统使用户能够像WSS的内置部分一样使用WSS。

4. 发明授权

US08776010B2 Data type provider for a data store 有权
标题翻译：数据存储的数据类型提供程序
公开(公告)号：US08776010B2
公开(公告)日：2014-07-08
申请号：US12912875
申请日：2010-10-27
申请人： Jomo Fisher , Luke Hoban , Timothy Y. Ng , Matteo Taveggia , Donald Syme
发明人： Jomo Fisher , Luke Hoban , Timothy Y. Ng , Matteo Taveggia , Donald Syme
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/33
摘要： A system and method for facilitating development of a computer program that interfaces with a data store. A system queries the data store to retrieve interface information, including schema information corresponding to a portion of data in the data store relevant to a user application. The system uses the retrieved information to provide an integrated development environment (IDE) to a user. The IDE may include one or more features such as completion lists, tool tips, and quick info. The schema information may be used to create synthetic types for use in the target program. The interface information may be used to create synthetic elements to be inserted into a target program. The synthetic types may be used to perform static type checking during an editing session or a program compilation, or to provide the IDE services. During a build, the synthetic elements may be removed and replaced with data store access code, which is subsequently used during program runtime to access the store. The system enables a user to work with the data store as they would for built-in parts of their program.
摘要翻译：一种用于促进与数据存储器接口的计算机程序的开发的系统和方法。系统查询数据存储以检索接口信息，包括对应于与用户应用相关的数据存储器中的一部分数据的模式信息。系统使用检索到的信息为用户提供集成开发环境（IDE）。 IDE可能包括一个或多个功能，如完成列表，工具提示和快速信息。模式信息可以用于创建在目标程序中使用的合成类型。界面信息可用于创建要插入到目标程序中的合成元素。合成类型可用于在编辑会话或程序编译期间执行静态类型检查，或提供IDE服务。在构建期间，可以移除合成元素并用数据存储访问代码替换，随后在程序运行期间使用合成元素访问存储。该系统使用户能够像数据存储的内置部分一样处理数据存储。

5. 发明申请

US20100180264A1 HANDLING MULTIPLE DEFINITION OF TYPES 有权
标题翻译：处理类型的多项定义
公开(公告)号：US20100180264A1
公开(公告)日：2010-07-15
申请号：US12351514
申请日：2009-01-09
申请人： Avner Y. Aharoni , Samuel Y. Ng , Michael Shneerson , Edward T. Maurer , Raja Krishnaswamy , Kevin Halverson , Timothy Y. Ng , Aleksey V. Tsingauz
发明人： Avner Y. Aharoni , Samuel Y. Ng , Michael Shneerson , Edward T. Maurer , Raja Krishnaswamy , Kevin Halverson , Timothy Y. Ng , Aleksey V. Tsingauz
IPC分类号： G06F9/45
CPC分类号： G06F8/437 , G06F8/434 , G06F8/447
摘要： User assemblies can be created by a compiler that can handle more than one type definition during execution. Local copies are created for respective authoritative types in a code library, and the local copies are marked with a local type identifier. An authoritative type identifier (e.g., a globally unique identifier (GUID)) is copied from the authoritative type to the local type, and functions and properties associated with the local type are also copied from the authoritative type. Authoritative types are resolved for requested types when a local assembly references a local type from a compiled user assembly. The local type can be identified by a local type identifier, and an authoritative type can be retrieved from the code library that has a same authoritative type identifier as the requested type. A local copy of the retrieved authoritative type can be copied to the local assembly under compilation. The compiler can then emit user assemblies that comprise merely local types.
摘要翻译：用户程序集可以由编译器创建，可以在执行期间处理多个类型定义。在代码库中为各自的权威类型创建本地副本，并且本地副本用本地类型标识符标记。权威类型标识符（例如，全局唯一标识符（GUID））从权威类型复制到本地类型，并且与本地类型相关联的功能和属性也从权威类型复制。当本地程序集从编译的用户程序集引用本地类型时，权限类型将被解析为请求的类型。可以通过本地类型标识符来标识本地类型，并且可以从具有与请求类型相同的权威类型标识符的代码库中检索权威类型。检索到的权威类型的本地副本可以在编译下复制到本地程序集。然后，编译器可以发出仅包括本地类型的用户程序集。

6. 发明授权

US07331047B2 Deterministic system and method for implementing software distributed between a desktop and a remote device 有权
标题翻译：用于实现分布在桌面和远程设备之间的软件的确定性系统和方法
公开(公告)号：US07331047B2
公开(公告)日：2008-02-12
申请号：US10721396
申请日：2003-11-25
申请人： George Chu , Timothy Y. Ng
发明人： George Chu , Timothy Y. Ng
IPC分类号： G06F9/445
CPC分类号： G06F9/54 , G06F9/445 , G06F2209/549
摘要： Software running on a desktop device determines whether or not binaries (executables) need to be pushed to a remote device. If binaries need to be pushed to the remote device, the desktop determines which particular binaries need to be pushed to the remote device, and pushes the needed binaries to the remote device. Once all needed binaries are loaded onto the remote device, functions on the remote device can be executed via remote procedure calls.
摘要翻译：在桌面设备上运行的软件确定是否需要将二进制文件（可执行文件）推送到远程设备。如果需要将二进制文件推送到远程设备，桌面将确定需要将哪些特定二进制文件推送到远程设备，并将所需的二进制文件推送到远程设备。一旦所有需要的二进制文件加载到远程设备上，远程设备上的功能就可以通过远程过程调用执行。

7. 发明授权

US08201155B2 Handling multiple definition of types 有权
标题翻译：处理多种类型的定义
公开(公告)号：US08201155B2
公开(公告)日：2012-06-12
申请号：US12351514
申请日：2009-01-09
申请人： Avner Y. Aharoni , Samuel Y. Ng , Michael Shneerson , Edward T. Maurer , Raja Krishnaswamy , Kevin Halverson , Timothy Y. Ng , Aleksey V. Tsingauz
发明人： Avner Y. Aharoni , Samuel Y. Ng , Michael Shneerson , Edward T. Maurer , Raja Krishnaswamy , Kevin Halverson , Timothy Y. Ng , Aleksey V. Tsingauz
IPC分类号： G06F9/45
CPC分类号： G06F8/437 , G06F8/434 , G06F8/447
摘要： User assemblies can be created by a compiler that can handle more than one type definition during execution. Local copies are created for respective authoritative types in a code library, and the local copies are marked with a local type identifier. An authoritative type identifier (e.g., a globally unique identifier (GUID)) is copied from the authoritative type to the local type, and functions and properties associated with the local type are also copied from the authoritative type. Authoritative types are resolved for requested types when a local assembly references a local type from a compiled user assembly. The local type can be identified by a local type identifier, and an authoritative type can be retrieved from the code library that has a same authoritative type identifier as the requested type. A local copy of the retrieved authoritative type can be copied to the local assembly under compilation. The compiler can then emit user assemblies that comprise merely local types.
摘要翻译：用户程序集可以由编译器创建，可以在执行期间处理多个类型定义。在代码库中为各自的权威类型创建本地副本，并且本地副本用本地类型标识符标记。权威类型标识符（例如，全局唯一标识符（GUID））从权威类型复制到本地类型，并且与本地类型相关联的功能和属性也从权威类型复制。当本地程序集从编译的用户程序集引用本地类型时，权限类型将被解析为请求的类型。可以通过本地类型标识符来标识本地类型，并且可以从具有与请求类型相同的权威类型标识符的代码库中检索权威类型。检索到的权威类型的本地副本可以在编译下复制到本地程序集。然后，编译器可以发出仅包括本地类型的用户程序集。

8. 发明申请

US20120110548A1 DATA TYPE PROVIDER FOR AN OPERATING SYSTEM INSTRUMENTATION STORE 有权
标题翻译：用于操作系统仪器存储的数据类型提供者
公开(公告)号：US20120110548A1
公开(公告)日：2012-05-03
申请号：US12912875
申请日：2010-10-27
申请人： Jomo Fisher , Luke Hoban , Timothy Y. Ng , Matteo Taveggia , Donald Syme
发明人： Jomo Fisher , Luke Hoban , Timothy Y. Ng , Matteo Taveggia , Donald Syme
IPC分类号： G06F9/44
CPC分类号： G06F8/33
摘要： A system and method for facilitating development of a computer program that interfaces with an operating system instrumentation store (OSIS). A system queries an OSIS to retrieve interface information, including schema information corresponding to a portion of data in the OSIS relevant to a user application. The system uses the retrieved information to provide an integrated development environment to a user. The IDE may include one or more features such as completion lists, tool tips, and quick info. The schema information may be used to create synthetic types for use in the target program. The interface information may be used to create synthetic elements to be inserted into a target program. The synthetic types may be used to perform static type checking during an editing session or a program compilation, or to provide the IDE services. During a build, the synthetic elements may be removed and replaced with OSIS access code, which is subsequently used during program runtime to access the store. The system enables a user to work with the OSIS as they would for built-in parts of their program.
摘要翻译：一种用于促进与操作系统仪表存储（OSIS）接口的计算机程序的开发的系统和方法。系统查询OSIS以检索接口信息，包括对应于与用户应用程序相关的OSIS中的一部分数据的模式信息。系统使用检索到的信息为用户提供集成的开发环境。 IDE可能包括一个或多个功能，如完成列表，工具提示和快速信息。模式信息可以用于创建在目标程序中使用的合成类型。界面信息可用于创建要插入到目标程序中的合成元素。合成类型可用于在编辑会话或程序编译期间执行静态类型检查，或提供IDE服务。在构建期间，可以移除合成元素并用OSIS访问代码替换，随后在程序运行期间使用合成元素访问存储。该系统使用户能够像OS内部程序一样使用OSIS。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式