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

101. 发明申请

US20120084749A1 PROGRAMMING LANGUAGE SUPPORT FOR REACTIVE PROGRAMMING 审中-公开
标题翻译：编程语言支持反向编程
公开(公告)号：US20120084749A1
公开(公告)日：2012-04-05
申请号：US12896688
申请日：2010-10-01
申请人： Jeffrey Van Gogh , Henricus Johannes Maria Meijer , John Wesley Dyer , Bart De Smet , Danny Van Velzen
发明人： Jeffrey Van Gogh , Henricus Johannes Maria Meijer , John Wesley Dyer , Bart De Smet , Danny Van Velzen
IPC分类号： G06F9/44
CPC分类号： G06F8/30 , G06F9/542
摘要： Program language support is provided to facilitate reactive programming. Code can be provided that initiates conversion between a first-class pattern and a second-class pattern, wherein the patterns operate with respect to push-based data. Support is also provided for producing and consuming push-based data in accordance with an iterator pattern, for example.
摘要翻译：提供程序语言支持以促进反应式编程。可以提供代码，其启动第一类模式和第二类模式之间的转换，其中模式相对于基于推送的数据操作。还提供了用于根据迭代器模式生产和消费基于推送的数据的支持。

102. 发明申请

US20120078974A1 DATA MODEL DUALIZATION 有权
标题翻译：数据模型双重化
公开(公告)号：US20120078974A1
公开(公告)日：2012-03-29
申请号：US12888918
申请日：2010-09-23
申请人： Henricus Johannes Maria Meijer
发明人： Henricus Johannes Maria Meijer
IPC分类号： G06F7/00
CPC分类号： G06F17/30294 , G06F17/30595 , G06F17/30604 , G06F17/30917
摘要： A data model can be generated by dualizing another data model. In other words, a first data model can be transformed into a second data model, wherein the second data model is a mathematical dual of the first data model. For example, a non-relational data model can be generated by dualizing a relational data model.
摘要翻译：可以通过对另一个数据模型进行二元化来生成数据模型。换句话说，第一数据模型可以被转换成第二数据模型，其中第二数据模型是第一数据模型的数学双重。例如，可以通过对关系数据模型进行二元化来生成非关系数据模型。

103. 发明申请

US20120072411A1 DATA REPRESENTATION FOR PUSH-BASED QUERIES 审中-公开
标题翻译：基于推理的查询的数据表示
公开(公告)号：US20120072411A1
公开(公告)日：2012-03-22
申请号：US12884158
申请日：2010-09-16
申请人： Bart De Smet , Henricus Johannes Maria Meijer
发明人： Bart De Smet , Henricus Johannes Maria Meijer
IPC分类号： G06F17/30
CPC分类号： G06F16/2455 , G06F16/2452
摘要： A query over one or more push-based data sources is transformed into a data representation of the query. The data representation can subsequently be analyzed, optimized, and remoted, among other things. For example, the data representation can be utilized to generate code for an out-of-process execution engine. Additionally, the data representation can be employed with respect to conversions to and from various types and representations of data.
摘要翻译：对一个或多个基于推送的数据源的查询被转换成查询的数据表示。随后可以对数据表示进行分析，优化和远程处理。例如，可以使用数据表示来生成用于进程外执行引擎的代码。另外，关于从各种类型和数据表示转换的数据表示可以采用。

104. 发明授权

US07992130B2 Class-based object-oriented features in class-less script language 有权
标题翻译：无类脚本语言中基于类的面向对象功能
公开(公告)号：US07992130B2
公开(公告)日：2011-08-02
申请号：US11745125
申请日：2007-05-07
申请人： Bruno S. Bozza , Henricus Johannes Maria Meijer , Steven Thomas Beck , Jeffrey Van Gogh , Wei Zhu
发明人： Bruno S. Bozza , Henricus Johannes Maria Meijer , Steven Thomas Beck , Jeffrey Van Gogh , Wei Zhu
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F9/449
摘要： Dynamic dispatch for classes and interfaces is encapsulated in a class-less scripting language. A plurality of mechanisms is employed to facilitate dynamic polymorphism. One or more target-language constructs, such as dictionary objects, prototype objects and/or derived types, are utilized to capture class and interface-method implementations. These constructs are subsequently referenced at runtime to invoke appropriate code.
摘要翻译：类和接口的动态调度封装在无类脚本语言中。采用多种机制来促进动态多态性。一个或多个目标语言结构（例如字典对象，原型对象和/或派生类型）被用于捕获类和接口方法实现。这些结构随后在运行时被引用以调用适当的代码。

105. 发明申请

US20110173620A1 Execution Context Control 有权
标题翻译：执行上下文控制
公开(公告)号：US20110173620A1
公开(公告)日：2011-07-14
申请号：US12684133
申请日：2010-01-08
申请人： John Dyer , Henricus Johannes Maria Meijer , Mark Shields , Jeffrey van Gogh , Danny van Velzen , Brian Beckman , Harish Kantamneni
发明人： John Dyer , Henricus Johannes Maria Meijer , Mark Shields , Jeffrey van Gogh , Danny van Velzen , Brian Beckman , Harish Kantamneni
IPC分类号： G06F9/46 , G06F3/00
CPC分类号： G06F9/542 , G06F2209/543
摘要： A system and method for controlling the execution of notifications in a computer system with multiple notification contexts. A RunOn operator enables context hopping between notification contexts. Push-based stream operators optionally perform error checking to determine if notifications combined into a push-based stream share a common notification context. Context boxes group together notification creators and associate their notifications with a common scheduler and notification context. Operators employ a composition architecture, in which they receive one or more push-based streams and produce a transformed push-based stream that may be further operated upon. Components may be used in combinations to implement various policies, including a strict policy in which all notifications are scheduled in a common execution context, a permissive policy that provides programming flexibility, and a hybrid policy that combines flexibility with error checking.
摘要翻译：一种用于控制具有多个通知上下文的计算机系统中的通知的执行的系统和方法。 RunOn运算符启用通知上下文之间的上下文跳变。基于推送的流操作员可选地执行错误检查以确定组合到基于推送的流中的通知是否共享公共通知上下文。上下文框将通知创建者组合在一起，并将其通知与通用调度程序和通知上下文相关联。运营商使用组合架构，其中它们接收一个或多个基于推送的流并产生可以进一步操作的经转换的基于推送的流。组件可以组合使用以实现各种策略，包括在通用执行上下文中调度所有通知的严格策略，提供编程灵活性的允许策略，以及将灵活性与错误检查相结合的混合策略。

106. 发明授权

US07899840B2 Group joins to navigate data relationships 有权
标题翻译：组联接以导航数据关系
公开(公告)号：US07899840B2
公开(公告)日：2011-03-01
申请号：US11693136
申请日：2007-03-29
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Dinesh Chandrakant Kulkarni , Matthew J. Warren , Mads Torgersen
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Dinesh Chandrakant Kulkarni , Matthew J. Warren , Mads Torgersen
IPC分类号： G06F7/00 , G06F17/30
CPC分类号： G06F17/30412 , G06F17/30466 , G06F17/30498
摘要： A group join query facilitates navigation of relationships (e.g., one-to-many or many-to-one) across a plurality of data collections. Such a query operator produces nested or hierarchical results that capture the arguments passed thereto. If desired, the nested results can be flattened to simulate conventional relational database results.
摘要翻译：群组加入查询有助于跨多个数据集合的关系（例如，一对多或多对一）的导航。这样的查询运算符产生嵌套或分层结果，捕获传递给它的参数。如果需要，嵌套的结果可以被平坦化以模拟传统的关系数据库结果。

107. 发明授权

US07788651B2 Anonymous types 失效
标题翻译：匿名类型
公开(公告)号：US07788651B2
公开(公告)日：2010-08-31
申请号：US11219256
申请日：2005-09-02
申请人： Henricus Johannes Maria Meijer , Brian C. Beckman , Paul A. Vick , Amanda Silver
发明人： Henricus Johannes Maria Meijer , Brian C. Beckman , Paul A. Vick , Amanda Silver
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/437
摘要： A computer-implemented system for representing data comprises a position indicator that indicates a position of a datum within a group, a name indicator that optionally names the datum, and a value of the datum. A type to be assigned to the datum is derived from at least one of a name of the datum and the position of the datum within the group. Methods of using the system are also provided.
摘要翻译：用于表示数据的计算机实现的系统包括指示组内的数据的位置的位置指示符，可选地命名数据的名称指示符和基准的值。要分配给基准的类型从基准的名称和组内基准的位置中的至少一个派生。还提供了使用该系统的方法。

108. 发明授权

US07788275B2 Customization of relationship traversal 有权
标题翻译：关系遍历的定制
公开(公告)号：US07788275B2
公开(公告)日：2010-08-31
申请号：US11857366
申请日：2007-09-18
申请人： Matthew J. Warren , Dinesh C. Kulkarni , Anders Hejlsberg , Henricus Johannes Maria Meijer
发明人： Matthew J. Warren , Dinesh C. Kulkarni , Anders Hejlsberg , Henricus Johannes Maria Meijer
IPC分类号： G06F7/00
CPC分类号： G06F17/30607 , G06F17/30595
摘要： An object-relational mapping mechanism facilitates customized relationship traversal. The mechanism can override default loading behavior with custom functionality (e.g., eager loading, lazy loading . . . ) specified by a programmer, for example. In other words, the object-relational mapping mechanism includes an extensibility point or hook for customization.
摘要翻译：对象关系映射机制有助于定制关系遍历。该机制可以覆盖例如由程序员指定的定制功能（例如，加载加载，延迟加载等）的默认加载行为。换句话说，对象关系映射机制包括用于定制的可扩展点或挂钩。

109. 发明授权

US07743066B2 Anonymous types for statically typed queries 有权
标题翻译：用于静态类型查询的匿名类型
公开(公告)号：US07743066B2
公开(公告)日：2010-06-22
申请号：US11193601
申请日：2005-07-29
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger , Dinesh C. Kulkarni
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger , Dinesh C. Kulkarni
IPC分类号： G06F7/00 , G06F17/30 , G06F15/16
CPC分类号： G06F17/30421 , G06F17/3041
摘要： Anonymous types for a programming language. Non-denotable anonymous types are types that a compiler generates on behalf of a programmer and can then be used as nominal types. Insofar as anonymous types do not have a name, they can be used only inside a method in which they are created. Additionally, an anonymous type cannot be exposed in any way outside of the method. Syntax to create an anonymous type is useful when employed with a Select operator to generate a result with a particular shape, without the need of having a regular type for it. Anonymous types are expressible such that an expression of that type can be written. Translation of an anonymous type by a compiler generates a nominal class that implements Equals and GetHashCode methods. There is equivalence of anonymous types within the same method, and conversion of an unrealized structural type into structurally compatible nominal type.
摘要翻译：编程语言的匿名类型。不可表示的匿名类型是编译器代表程序员生成的类型，然后可以用作标称类型。只要匿名类型没有名称，它们只能在创建它们的方法中使用。此外，匿名类型不能以任何方式暴露在该方法之外。创建匿名类型的语法在与“选择”运算符一起使用以生成具有特定形状的结果时非常有用，而无需为其定义类型。匿名类型是可表达的，使得可以写入该类型的表达式。编译器生成一个匿名类型，生成一个实现Equals和GetHashCode方法的标称类。在同一方法中存在匿名类型的等价物，并将未实现的结构类型转换为结构兼容的名义类型。

110. 发明授权

US07730448B2 Layered type systems 有权
标题翻译：分层式系统
公开(公告)号：US07730448B2
公开(公告)日：2010-06-01
申请号：US11201507
申请日：2005-08-11
申请人： Henricus Johannes Maria Meijer , David N. Schach , Avner Y. Aharoni , Peter F. Drayton
发明人： Henricus Johannes Maria Meijer , David N. Schach , Avner Y. Aharoni , Peter F. Drayton
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/437
摘要： The subject disclosure pertains to layering of a plurality of type systems. A development environment and language compilers can support multiple data models and their type systems in the same program. Elements of a program such as expressions can then be associated with several types from the multiple type systems. Compilers can employ the information provided by additional type systems to improve static type checking. Furthermore, the information can be bubbled up to a user in a plurality of forms including but not limited to intelligent assistance, auto-completion, tool tips, error information, and return types to enhance the program development experience.
摘要翻译：主题公开涉及多个类型系统的分层。开发环境和语言编译器可以在同一程序中支持多种数据模型及其类型系统。诸如表达式的程序的元素然后可以与多种类型的系统中的几种类型相关联。编译器可以使用附加类型系统提供的信息来改进静态类型检查。此外，信息可以以多种形式鼓泡到用户，包括但不限于智能辅助，自动完成，工具提示，错误信息和返回类型，以增强程序开发经验。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式