-
公开(公告)号：CN102171679B
公开(公告)日：2014-07-23
申请号：CN200980139954.8
申请日：2009-09-30
Applicant: 微软公司
Abstract: 本发明提供了用于声明性编程语言的基于树的有向图编程结构的各实施例。在各实施例中，复杂的图结构化数据(在此在一个非限制性实现中被称为“DGraph”)是使用紧凑的人类友好的句法而不使用显式标识符来创作的。在一个非限制性方面，句法包括对遵从关系(也被称为因子分解的关系)的支持。在另一非限制性方面，半结构化图数据是基于树的表示，并且句法包括引用的词法解析或词法作用域确定和/或非局部初始化。
-
公开(公告)号：CN100543737C
公开(公告)日：2009-09-23
申请号：CN200510138187.2
申请日：2005-12-30
Applicant: 微软公司
Inventor： D·F·伯克斯 , D·M·普荻 , G·K·R·卡基瓦亚 , N·H·杰莎纳德达尼 , S·K·斯里尼瓦桑 , S·H·菲瑞斯
IPC: G06F17/30
CPC classification number: G06F17/30569 , Y10S707/99952 , Y10S707/99953
Abstract: 将原始数据从源数据结构转移到表示同一项的目标数据结构。在数据转移期间，如果在目标数据结构中有不对应于源数据结构提供的字段的给定字段，则转移机制确定是否强制源数据结构必须提供该字段。如果是强制的，则转移失败。否则，转移继续。如果在源数据结构中有不对应于目标数据结构的字段的字段，则转移机制确定是否强制目标数据结构必须具有该字段。如果是强制的，则转移失败。否则，对应的数据可被提供给目标数据结构中专用于未知数据剩余字段。
-
公开(公告)号：CN102171681A
公开(公告)日：2011-08-31
申请号：CN200980140409.0
申请日：2009-09-30
Applicant: 微软公司
Abstract: 提供用于灵活地定义声明性编程语言的各类型的高效的、合乎逻辑的和有表现力的类型系统，以使得可以生成高效的且结构上紧凑的数据密集的应用程序。该类型系统支持精化类型和类型成员表达式的组合，并支持包含所有有效值作为成员的顶端类型。借助于该类型系统，各类型可以被表达成其他类型的交和/或并。因而，可以为真实世界数据存储中存在的全部数据类型高效地表示类型。
-
公开(公告)号：CN101952800A
公开(公告)日：2011-01-19
申请号：CN200980106917.7
申请日：2009-01-23
Applicant: 微软公司
CPC classification number: G06F9/541
Abstract: 可以使用一种公共数据类型结构来对根据不同类型或类型结构来实现数据的应用程序之间的访问请求进行相关。在一个实现中，一种公共数据结构包括操作、序列、记录以及原子(即，未定义)的模式。然后，系统可以将任何类型结构映射到公共数据结构的模式。在操作中，应用程序对数据的请求可以涉及标识应用程序用来将数据映射到公共数据结构的一个或多个代理。这些代理基于数据的形状(到可以标识该数据的程度)来将数据映射到公共数据结构。然后，这些代理可以返回包括所标识的映射信息的一个或多个数据结构。然后，应用程序可以直接对接收到的数据结构执行操作。
-
公开(公告)号：CN1815474A
公开(公告)日：2006-08-09
申请号：CN200510138187.2
申请日：2005-12-30
Applicant: 微软公司
Inventor： D·F·伯克斯 , D·M·普荻 , G·K·R·卡基瓦亚 , N·H·杰莎纳德达尼 , S·K·斯里尼瓦桑 , S·H·菲瑞斯
IPC: G06F17/30
CPC classification number: G06F17/30569 , Y10S707/99952 , Y10S707/99953
Abstract: 将原始数据从源数据结构转移到表示同一项的目标数据结构。在数据转移期间，如果在目标数据结构中有不对应于源数据结构提供的字段的给定字段，则转移机制确定是否强制源数据结构必须提供该字段。如果是强制的，则转移失败。否则，转移继续。如果在源数据结构中有不对应于目标数据结构的字段的字段，则转移机制确定是否强制目标数据结构必须具有该字段。如果是强制的，则转移失败。否则，对应的数据可被提供给目标数据结构中专用于未知数据剩余字段。
-
Patent Agency Ranking
公开(公告)号：CN101952805B
公开(公告)日：2014-03-05
申请号：CN200980106920.9
申请日：2009-01-23
Applicant: 微软公司
IPC: G06F9/44
CPC classification number: G06F17/30
Abstract: 名义类型框架可以被配置成基于通用类型形状或结构的最小集合来有效地将不同的名义类型相关在一起。在一个实现中，开发人员标识多个所感兴趣的不同的名义类型(源类型)，并标识由应用程序访问的通用类型形状的最小集合。然后，该通用类型形状的最小集合可以被用来创建其他不同的源类型中的每一个都可以被映射到的中间类型(目标类型)。例如，可以创建将一个或多个源类型的形状映射到所创建的目标类型的对应形状的一个或多个代理。由开发人员所创建的应用程序又可以通过单个目标类型来访问、操作、或以其他方式使用每一不同的源类型的映射数据。
-
公开(公告)号：CN102932428A
公开(公告)日：2013-02-13
申请号：CN201210382719.7
申请日：2012-10-10
Applicant: 微软公司
Inventor： M·刘 , A·V·迪斯科罗 , E·H-S·路易 , K·E·林 , R·B·埃尔格拉姆 , D·F·伯克斯 , M·J·加金 , Z·徐 , T·R·曼尼恩 , G·加德纳 , J·L·杜威 , S·J·库帕拉 , C·A·斯蒂伯
Abstract: 描述了设备链接。在一个或多个实现中，在网络服务处维护描述多个设备的特性的数据，其中该多个设备与该网络服务的一用户账户相关联。形成通信以供该多个设备中的一个设备接收，其中该通信包括与该多个设备中的另一个设备有关的一部分数据并且该一部分数据适于由该接收设备发现该多个设备中的该另一设备以在这两设备之间发起局域网连接。
-
公开(公告)号：CN101939723A
公开(公告)日：2011-01-05
申请号：CN200980104571.7
申请日：2009-01-06
Applicant: 微软公司
IPC: G06F9/06 , G06F9/44 , G06F15/173
CPC classification number: G06F9/4488
Abstract: 组件域用于定义与该组件域相关联的各组件之间的绑定。组件域跟踪每一组件要导入的各种服务，并且跟踪每一组件导出的各种服务。在运行时而非在编译时间，使用服务导入和导出数据来绑定各组件之间的各种相互关系。因此，取决于可用组件及其特征，绑定可以是不同的。这准许应用程序更加灵活。在一个实现中，绑定是迭代地执行的。例如，如果在将服务导入绑定到服务导出的一次迭代之后，一些组件可能展开它们导出的服务或它们希望导入的服务。
-
公开(公告)号：CN101952800B
公开(公告)日：2015-01-14
申请号：CN200980106917.7
申请日：2009-01-23
Applicant: 微软公司
CPC classification number: G06F9/541
Abstract: 可以使用一种公共数据类型结构来对根据不同类型或类型结构来实现数据的应用程序之间的访问请求进行相关。在一个实现中，一种公共数据结构包括操作、序列、记录以及原子(即，未定义)的模式。然后，系统可以将任何类型结构映射到公共数据结构的模式。在操作中，应用程序对数据的请求可以涉及标识应用程序用来将数据映射到公共数据结构的一个或多个代理。这些代理基于数据的形状(到可以标识该数据的程度)来将数据映射到公共数据结构。然后，这些代理可以返回包括所标识的映射信息的一个或多个数据结构。然后，应用程序可以直接对接收到的数据结构执行操作。
-
公开(公告)号：CN101939723B
公开(公告)日：2013-11-20
申请号：CN200980104571.7
申请日：2009-01-06
Applicant: 微软公司
IPC: G06F9/06 , G06F9/44 , G06F15/173
CPC classification number: G06F9/4488
Abstract: 组件域用于定义与该组件域相关联的各组件之间的绑定。组件域跟踪每一组件要导入的各种服务，并且跟踪每一组件导出的各种服务。在运行时而非在编译时间，使用服务导入和导出数据来绑定各组件之间的各种相互关系。因此，取决于可用组件及其特征，绑定可以是不同的。这准许应用程序更加灵活。在一个实现中，绑定是迭代地执行的。例如，如果在将服务导入绑定到服务导出的一次迭代之后，一些组件可能展开它们导出的服务或它们希望导入的服务。
-
-
-
-
-
-
-
-
-
Search Results
13
records
(took 0.016 seconds)
