公开(公告)号：CN102541636A

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

申请号：CN201110435584.1

申请日：2011-12-12

Applicant: 微软公司

Inventor： J·W·戴尔 ,  J·范格格 ,  H·J·M·梅杰 ,  B·德斯梅特 ,  C·J·米克

IPC: G06F9/46

CPC classification number: G06F9/542 ,  G06F17/5009

Abstract: 本发明涉及反应性的重合。对外部事件流可进行建模，以用内部事件流来表示事件的持续时间。可生成内部事件流来表示来自外部事件流的至少一个事件的持续时间。通过对外部事件流建模以包括持续时间，可确定两个或更多事件之间的重合。更具体地，对外部事件流的建模使得能够使用运算符来标识来自事件流的各个事件间的重合。

公开(公告)号：CN102385513A

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

申请号：CN201110308242.3

申请日：2011-09-28

Applicant: 微软公司

Inventor： J·范格格 ,  H·J·M·梅杰 ,  J·W·戴尔 ,  B·德斯梅特 ,  D·范费尔岑

IPC: G06F9/44

CPC classification number: G06F8/30 ,  G06F9/542

Abstract: 本发明涉及反应式编程的编程语言支持。提供程序语言支持以便于反应式编程。提供了在第一类模式和第二类模式之间开始转换的代码，其中模式相对于基于推的数据来操作。还提供了对根据例如迭代器模式来产生和消费基于推的数据的支持。

公开(公告)号：CN101965561A

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

申请号：CN200980107877.8

申请日：2009-01-30

Applicant: 微软公司

Inventor： H·J·M·梅杰 ,  J·W·戴尔 ,  J·凡高 ,  D·范韦尔曾 ,  H·坎塔姆尼 ,  D·A·马诺列斯库 ,  B·贝克曼 ,  B·利夫希茨

IPC: G06F13/00 ,  G06F9/06 ,  G06F15/16

CPC classification number: G06F8/41 ,  G06F8/30 ,  G06F9/4484

Abstract: 异步方法和调用根据声明性意图指示来自动产生。可标识用异步属性来注释的方法或包括特殊异步函数的方法调用。随后，自动生成所标识的同步方法或调用的异步版本。还提供用于指定意图的帮助。

公开(公告)号：CN102323772A

公开(公告)日：2012-01-18

申请号：CN201110096104.3

申请日：2011-04-01

Applicant: 微软公司

Inventor： H·J·M·梅杰 ,  D·A·马诺列斯库 ,  J·范格格 ,  J·W·戴尔 ,  B·C·贝克曼

IPC: G05B19/048 ,  G06F17/00

CPC classification number: G06F17/30595 ,  G06F9/4498

Abstract: 本发明描述了用数据库运算符的状态机表达。状态机可以使用数据库查询语言的事件驱动对象来表示。可以将来自数据库查询语言的绑定运算符用作状态转移函数，其中转移函数具有定义状态的副效应。对象可以用事件驱动表达式和运算符来操纵并且执行原本对于简单状态机而言复杂的操作。

公开(公告)号：CN103020150A

公开(公告)日：2013-04-03

申请号：CN201210480057.7

申请日：2012-11-22

Applicant: 微软公司

Inventor： B·德斯梅特 ,  H·J·M·梅杰 ,  J·W·戴尔

IPC: G06F17/30

CPC classification number: G06F17/30412 ,  G06F17/30592

Abstract: 本发明公开了多维分组运算符。诸如语言集成查询（LINQ）对象之类的多维对象可基于分组集合运算符以及零个或多个键选择器而被生成。可利用该对象来在非关系数据源上查询。该对象可包括与同该分组集合运算符有关的每一分组对应的函数序列，以便提供多维分组表示。此外，该对象包括供优化执行该分组集合运算符的嵌套结构。

公开(公告)号：CN102402481A

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

申请号：CN201110317876.5

申请日：2011-10-09

Applicant: 微软公司

Inventor： E·梅杰 ,  D·A·马诺列斯库 ,  J·W·戴尔 ,  J·范格格

IPC: G06F11/36

CPC classification number: G06F11/3692 ,  G06F11/076 ,  G06F11/3684

Abstract: 描述了异步程序代码的模糊测试。此处描述了将事件源、信道、处理器以及消费者表示为应用程序中的第一级实体的模糊测试系统。对与事件相关的实体进行抽象允许通过对来自应用程序内的事件进行插入、丢弃、重新排序以及延迟来进行模糊。这转变为定位受测试的区域以及以对称方式执行模糊的能力。在一些实施例中，模糊测试系统测试并发异步和基于事件的代码，并能够基于给定的统计分布来生成事件流。将事件、事件源、过滤器、以及汇点表示为第一级对象提供了对于事件处理器的简单访问，并有助通过在源和汇点之间引入事件过滤器来实现模糊。因此，模糊测试系统采用异步行为改进了应用程序和API的可测试性，并提供了用于将模糊测试引入这些应用程序中的统一框架。

公开(公告)号：CN102402420A

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

申请号：CN201110321768.5

申请日：2011-10-10

Applicant: 微软公司

Inventor： H·J·M·梅杰 ,  J·W·戴尔 ,  D·J·P·莱延

IPC: G06F9/30

CPC classification number: G06F8/427

Abstract: 本发明涉及解析可观察集合。解析技术被应用于可观察集合。更具体而言，诸如组合符解析器等解析器能被用来对一个或多个可观察集合执行句法分析。进而，多个可观察集合可被组合为单一集合且可通过注释集合项或生成时间项来捕捉时间。