公开(公告)号：CN102609292A

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

申请号：CN201110434430.0

申请日：2011-12-12

Applicant: 微软公司

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

IPC: G06F9/45

CPC classification number: G06F8/52 ,  G06F8/443

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）对象之类的多维对象可基于分组集合运算符以及零个或多个键选择器而被生成。可利用该对象来在非关系数据源上查询。该对象可包括与同该分组集合运算符有关的每一分组对应的函数序列，以便提供多维分组表示。此外，该对象包括供优化执行该分组集合运算符的嵌套结构。

公开(公告)号：CN102981841A

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

申请号：CN201210442357.6

申请日：2012-11-07

Applicant: 微软公司

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

IPC: G06F9/44

CPC classification number: G06F9/4488

Abstract: 本发明提供了用于外部序列化和去序列化的方法和系统。可基于所发现的与对象图的对象有关的元数据，在相应的对象模型外部将对象图从第一形式变换为第二形式。在一个实例中，变换可对应于序列化和去序列化。

公开(公告)号：CN102929637A

公开(公告)日：2013-02-13

申请号：CN201210442015.4

申请日：2012-11-07

Applicant: 微软公司

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

IPC: G06F9/44

CPC classification number: G06F8/30 ,  G06F8/40 ,  G06F9/45516 ,  G06F17/246

Abstract: 本发明公开了反应性表达式生成和优化。促进反应性编程。可从非反应性表达式或换言之标准表达式自动生成反应性表达式。作为附加或替换，可按多种不同方式优化反应性表达式以使计算工作最小化。

公开(公告)号：CN102591925A

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

申请号：CN201110435550.2

申请日：2011-12-12

Applicant: 微软公司

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

IPC: G06F17/30

CPC classification number: G06F17/30436 ,  G06F17/30002 ,  G06F17/30483

Abstract: 描述了以多维数据为中心的服务协议。通过查询表达式的中间表示方式来促进数据获得。可生成中间表示，并且该中间表示随后被传输到关于查询执行的多个执行环境并被该多个执行环境使用。更具体的，中间表示可被转换为可本地执行的查询表达式。另外，数个因素可塑造经创建和被传输的中间表示。

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

公开(公告)号：CN102339316A

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

申请号：CN201110306389.9

申请日：2011-09-26

Applicant: 微软公司

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

IPC: G06F17/30 ,  G06F9/45

CPC classification number: G06F17/30427 ,  G06F8/427

Abstract: 本发明涉及使用基于类型的状态机的查询约束编码。可根据对目标编程语言的查询约束进行编码的基于类型的状态机来分析源编程语言中指定的查询。基于类型的状态机可将这样的约束编码为表示状态的类型以及表示状态或类型之间的转换的方法。