-
公开(公告)号：CN102270128A
公开(公告)日：2011-12-07
申请号：CN201110159919.1
申请日：2011-06-03
Applicant: 微软公司
Abstract: 本发明公开了库一致性检查器。库管理系统可比较编程库之间的合约，以标识库之间的并集、交集及差集。管理系统可带有合约分析器，该合约分析器可从现有的库中移除合约定义以形成库合约。库合约可作为编程环境内的第一类项来管理，并且可被用作比较库的现有版本与新版本的参考。库管理系统可使用两个或多个相交的库来创建引用库，以供程序员编写应用程序以及其他用途。
-
Patent Agency Ranking
公开(公告)号：CN102279765A
公开(公告)日：2011-12-14
申请号：CN201110170869.7
申请日：2011-06-13
Applicant: 微软公司
IPC: G06F9/45
CPC classification number: G06F9/45516
Abstract: 在此描述托存预编译系统，该托存预编译系统提供了允许提前编译在主机中运行的托管代码的方式。在可获得任何配置设置之后，主机在应用程序运行时触发提前编译。主机可以选择要编译哪些模块、何时编译它们、以及在什么地方持久存储所生成的映像。在检测到模块加载时，主机能够触发预编译，为加载器提供模块现有的预编译映像，或者不做任何事情。运行时环境/平台确认任何主机供应的预编译映像的完整性，并提供应用程序编程接口(API)以便告知主机映像何时变得无效和加载失败。该平台也提供API以便使主机在与主机相关的任何时刻触发对二进制代码的编译，并同步地或在后台进程中生成映像。
-
公开(公告)号：CN102144226A
公开(公告)日：2011-08-03
申请号：CN200980135194.3
申请日：2009-08-19
Applicant: 微软公司
Inventor： P·H·杜斯德 , S·D·莫热 , P·F·索利趣 , F·V·佩斯彻-盖里 , R·克里希纳斯瓦米 , S·J·霍尔 , M·塔卢里 , R·马丁 , M·M·马格鲁德 , A·帕多
CPC classification number: G06F8/36 , G06F8/76 , G06F9/44521 , G06F9/44584 , G06F9/45508 , G06F9/4552
Abstract: 在以更适合框架所服务的应用程序的域的方式来允许在改变通用基类库时框架的显著灵活性的机制。运行时提供每一基类的数据结构的数据契约，而不是提供该基类库。只要该数据契约被履行，则框架可随后以定制方式来定义每一基类。由此，例如，框架可提供适于框架的定制的框架专用方法和/或属性。另一框架可以以不同方式来定义基类。
-
公开(公告)号：CN102144226B
公开(公告)日：2014-08-06
申请号：CN200980135194.3
申请日：2009-08-19
Applicant: 微软公司
Inventor： P·H·杜斯德 , S·D·莫热 , P·F·索利趣 , F·V·佩斯彻-盖里 , R·克里希纳斯瓦米 , S·J·霍尔 , M·塔卢里 , R·马丁 , M·M·马格鲁德 , A·帕多
CPC classification number: G06F8/36 , G06F8/76 , G06F9/44521 , G06F9/44584 , G06F9/45508 , G06F9/4552
Abstract: 在以更适合框架所服务的应用程序的域的方式来允许在改变通用基类库时框架的显著灵活性的机制。运行时提供每一基类的数据结构的数据契约，而不是提供该基类库。只要该数据契约被履行，则框架可随后以定制方式来定义每一基类。由此，例如，框架可提供适于框架的定制的框架专用方法和/或属性。另一框架可以以不同方式来定义基类。
-
公开(公告)号：CN101925879B
公开(公告)日：2013-04-10
申请号：CN200880125623.4
申请日：2008-12-30
Applicant: 微软公司
CPC classification number: G06F9/445
Abstract: 各实施例涉及为二进制文件的至少一个方法在每一方法的基础上提供中间语言(IL)代码。在一实施例中，计算机系统从包含在二进制文件中的各个方法中选择一方法，其中这些方法被配置成执行应用程序的各种预期功能。该计算机系统向所选方法追加指示如何获得要包含在所选方法的主体中的IL代码的描述性标记，接收执行所选方法的命令，并且参考所追加的描述性标记以便基于该描述性标记中的指示来生成IL代码请求。该计算机系统将所生成的IL代码请求提交给一个或多个IL代码提供者以请求用于所选方法的IL代码，接收所请求的用于所选方法的IL代码并将该IL代码插入到所选方法的主体中。
-
公开(公告)号：CN101925879A
公开(公告)日：2010-12-22
申请号：CN200880125623.4
申请日：2008-12-30
Applicant: 微软公司
CPC classification number: G06F9/445
Abstract: 各实施例涉及为二进制文件的至少一个方法在每一方法的基础上提供中间语言(IL)代码。在一实施例中，计算机系统从包含在二进制文件中的各个方法中选择一方法，其中这些方法被配置成执行应用程序的各种预期功能。该计算机系统向所选方法追加指示如何获得要包含在所选方法的主体中的IL代码的描述性标记，接收执行所选方法的命令，并且参考所追加的描述性标记以便基于该描述性标记中的指示来生成IL代码请求。该计算机系统将所生成的IL代码请求提交给一个或多个IL代码提供者以请求用于所选方法的IL代码，接收所请求的用于所选方法的IL代码并将该IL代码插入到所选方法的主体中。
-
-
-
-
-
Search Results
6
records
(took 0.013 seconds)
