公开(公告)号：US20120095750A1

公开(公告)日：2012-04-19

申请号：US12904831

申请日：2010-10-14

申请人： Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Daniel Johannes Pieter Leijen

发明人： Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Daniel Johannes Pieter Leijen

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

CPC分类号： G06F8/427

摘要： Parsing technology is applied to observable collections. More specifically, a parser, such as combinator parser, can be employed to perform syntactic analysis over one or more observable collections. Further, multiple observable collections can be combined into a single collection and time can be captured by annotating collection items or generating time items.

摘要翻译： 解析技术应用于可观察的集合。 更具体地，可以使用诸如组合器解析器的解析器来对一个或多个可观察集合执行句法分析。 此外，多个可观察集合可以组合成单个集合，并且可以通过注释集合项目或生成时间项目来捕获时间。

公开(公告)号：US20120072442A1

公开(公告)日：2012-03-22

申请号：US12887588

申请日：2010-09-22

申请人： Bart De Smet ,  Henricus Johannes Maria Meijer ,  Jeffrey Van Gogh ,  John Wesley Dyer

发明人： Bart De Smet ,  Henricus Johannes Maria Meijer ,  Jeffrey Van Gogh ,  John Wesley Dyer

IPC分类号： G06F17/30

CPC分类号： G06F16/24556 ,  G06F16/2438

摘要： Monadic types are preserved for query operators to further query operator compositionality utilizing operators defined over a monad. Query operators that are defined over a monad and are suited to return non-monadic types are constructed or altered to return a monadic type. For instance, aggregate query operators defined over a local or remote sequence monad can be generated that return a monadic type.

摘要翻译： 保留Monadic类型，以供查询运算符使用通过monad定义的运算符进一步查询运算符组合。 在monad上定义并适用于返回非单体类型的查询运算符被构造或更改以返回单值类型。 例如，可以生成通过本地或远程序列monad定义的聚合查询运算符，返回一个monadic类型。

公开(公告)号：US20110145734A1

公开(公告)日：2011-06-16

申请号：US12634703

申请日：2009-12-10

申请人： Henricus Johannes Maria Meijer ,  John Wesley Dyer

发明人： Henricus Johannes Maria Meijer ,  John Wesley Dyer

IPC分类号： G06F3/00

CPC分类号： G06F9/4843

摘要： A method for processing a computer action using a processor. The method includes receiving a first request to perform a first computer action, performing the first computer action and producing a first class representation of the first computer action.

摘要翻译： 一种使用处理器处理计算机动作的方法。 该方法包括接收执行第一计算机动作的第一请求，执行第一计算机动作并产生第一计算机动作的第一类表示。

公开(公告)号：US20110138403A1

公开(公告)日：2011-06-09

申请号：US12633160

申请日：2009-12-08

申请人： Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Dragos A. Manolescu

发明人： Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Dragos A. Manolescu

IPC分类号： G06F9/44

CPC分类号： G06F9/4486

摘要： Methods and devices are provided for defining push-based standard sequence operators based on respective duals of corresponding pull-based standard sequence operators. A push-based application program interface (API) may be defined based on mathematical duals of a corresponding pull-based API. The push-based API may include a library of routines, which further may include push-based standard sequence operators defined based on deriving mathematical duals of corresponding pull-based standard sequence operators. A protocol for processing a push-based collection may be defined as a mathematical dual of a protocol for processing a pull-based collection. In various embodiments, mathematical duality with respect to synchronous, pull-based, collections may be exploited to define operators for processing asynchronous push-based collections.

摘要翻译： 提供了用于基于相应的基于拉式的标准序列运算符的相应双重定义基于推的基于标准序列运算符的方法和装置。 可以基于相应的基于引用的API的数学双重来定义基于推送的应用程序接口（API）。 基于推送的API可以包括例程库，其还可以包括基于相应的基于拉式的标准序列运算符的导出数学双重的定义的基于推的标准序列运算符。 用于处理基于推送的集合的协议可以被定义为用于处理基于引用的集合的协议的数学双重。 在各种实施例中，可以利用相对于同步，基于引用的集合的数学二元性来定义用于处理异步基于推送的集合的运算符。

公开(公告)号：US20110107392A1

公开(公告)日：2011-05-05

申请号：US12612696

申请日：2009-11-05

申请人： Henricus Johannes Maria Meijer ,  John Wesley Dyer

发明人： Henricus Johannes Maria Meijer ,  John Wesley Dyer

IPC分类号： H04L9/00

CPC分类号： G06F8/312

摘要： Architecture that a mathematical duality established herein between an asynchronous observable design pattern and a synchronous iterator design pattern. This provides a mechanism for processing multiple observable collection and asynchronous values associated with those collections, including situations where a single observable collection is directed to multiple subscribers or multiple observable collections are directed to a single subscriber. Operators are presented that facilitate multi-collection processing based on this proven duality. As a result of this duality concurrent asynchronous and event-driven programs can be elegantly formulated. Consequently, asynchronous and event-based programming can now be unified into single conceptual framework, based on sound mathematical principles such as monads and duality.

摘要翻译： 这种在异步可观察设计模式和同步迭代器设计模式之间建立的数学二元性的架构。 这提供了一种用于处理与这些集合相关联的多个可观察收集和异步值的机制，包括单个可观察集合指向多个订户或多个可观察集合被定向到单个订户的情况。 介绍了基于这种被证明的二元性促进多收集处理的运营商。 由于这种双重性并发异步和事件驱动程序可以优雅地制定。 因此，异步和基于事件的编程现在可以被统一到单个概念框架中，基于诸如单子和二元性的声学数学原理。

公开(公告)号：US20100023924A1

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

申请号：US12178143

申请日：2008-07-23

申请人： Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Thomas Meschter ,  Cyrus Najmabadi

发明人： Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Thomas Meschter ,  Cyrus Najmabadi

IPC分类号： G06F9/44

CPC分类号： G06F8/427

摘要： Parse tables or like representations are augmented with extension points to enable call out to arbitrary code. Such parse tables can be automatically generated from a specification including fixed information along with information about extensibility points provided. The extensibility points enable incorporation of dynamic data into a fixed parse table. In one instance, this allows a parser to determine if a character is acceptable at the time of execution rather than when the parse table was defined.

摘要翻译： 解析表或类似的表示用扩展点进行扩充，以便调用任意代码。 这样的解析表可以从包括固定信息的规范以及所提供的可扩展性点的信息自动生成。 可扩展点可以将动态数据并入固定的分析表。 在一个实例中，这允许解析器确定在执行时字符是否可以接受，而不是在定义解析表时。

公开(公告)号：US20090199159A1

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

申请号：US12023041

申请日：2008-01-31

申请人： Henricus Johannes Maria Meijer ,  Brian Beckman ,  John Wesley Dyer ,  Jeffrey van Gogh ,  Benjamin Livshits ,  Dragos A. Manolescu ,  Danny van Velzen ,  Harish V. Kantamneni

发明人： Henricus Johannes Maria Meijer ,  Brian Beckman ,  John Wesley Dyer ,  Jeffrey van Gogh ,  Benjamin Livshits ,  Dragos A. Manolescu ,  Danny van Velzen ,  Harish V. Kantamneni

IPC分类号： G06F9/44

CPC分类号： G06F9/547

摘要： Various technologies and techniques are disclosed for enabling code to be executed on one or more execution contexts based upon declarative annotations contained in the code or other locations. An annotation associated with a region of code is located. The annotation specifies information about an execution context where the region of code should be executed. A caller proxy is generated that is responsible for calling a callee adapter to execute the region of code. The callee adapter is generated that is responsible for receiving a call from the caller proxy and for dispatching a call to the region of code at the execution context. At runtime, the caller proxy receives a request to call the region of code and sends an execution request to the callee adapter. The callee adapter receives the execution request and dispatches a call to an executable version of the region of code.

摘要翻译： 公开了各种技术和技术，用于基于代码或其他位置中包含的声明性注释来使代码能够在一个或多个执行上下文上执行。 找到与代码区域相关联的注释。 注释指定应执行代码区域的执行上下文的信息。 生成一个调用代理，负责调用被叫适配器来执行代码区域。 生成被调用的适配器，该适配器负责从呼叫者代理接收呼叫，并在执行上下文中调度到代码区域。 在运行时，调用者代理接收到调用代码区域的请求，并向被叫适配器发送执行请求。 被叫适配器接收执行请求，并调度对代码区域的可执行版本。

公开(公告)号：US09886474B2

公开(公告)日：2018-02-06

申请号：US13303124

申请日：2011-11-22

申请人： Bart De Smet ,  Henricus Johannes Maria Meijer ,  John Wesley Dyer

发明人： Bart De Smet ,  Henricus Johannes Maria Meijer ,  John Wesley Dyer

IPC分类号： G06F17/30

CPC分类号： G06F17/30412 ,  G06F17/30592

摘要： A multidimensional object, such as a language-integrated query (LINQ) object, can be generated based upon a grouping set operator and zero or more key selectors. The object can be utilized to query over a non-relational data source. The object can include a sequence of functions corresponding to each grouping related to the grouping set operator in order to provide multidimensional grouping representation. Furthermore, the object includes nested structures for optimized execution of the grouping set operator.

公开(公告)号：US20170004025A1

公开(公告)日：2017-01-05

申请号：US15265749

申请日：2016-09-14

申请人： John Wesley Dyer ,  Jeffrey Van Gogh ,  Henricus Johannes Maria Meijer ,  Bart De Smet ,  Colin Joseph Meek

发明人： John Wesley Dyer ,  Jeffrey Van Gogh ,  Henricus Johannes Maria Meijer ,  Bart De Smet ,  Colin Joseph Meek

IPC分类号： G06F9/54

CPC分类号： G06F9/542 ,  G06F17/5009

摘要： An outer event stream can be modeled to represent duration for an event with an inner event stream. The inner event stream can be generated to represent duration of at least one event from the outer event stream. By modeling the outer event stream to include duration, coincidence between two or more events can be determined. More specifically, the modeling of the outer event stream enables use of operators to identify coincidence between events from event streams.

摘要翻译： 外部事件流可以被建模以表示具有内部事件流的事件的持续时间。 可以生成内部事件流以表示来自外部事件流的至少一个事件的持续时间。 通过对外部事件流进行建模以包括持续时间，可以确定两个或更多个事件之间的一致性。 更具体地，外部事件流的建模使得能够使用运算符来识别来自事件流的事件之间的一致性。

公开(公告)号：US08539439B2

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

申请号：US13273177

申请日：2011-10-13

申请人： Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Lucian Wischik ,  Bart De Smet ,  Jeffrey Van Gogh

发明人： Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Lucian Wischik ,  Bart De Smet ,  Jeffrey Van Gogh

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

CPC分类号： G06F8/76

摘要： Mapping is performed between operations of an abstract asynchronous programming model and a concrete asynchronous programming model. In other words, differences between asynchronous programming models are bridged to enable interaction.

摘要翻译： 在抽象异步编程模型和具体异步编程模型的操作之间执行映射。 换句话说，桥接异步编程模型之间的差异以实现交互。