公开(公告)号：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: 异步方法和调用根据声明性意图指示来自动产生。可标识用异步属性来注释的方法或包括特殊异步函数的方法调用。随后，自动生成所标识的同步方法或调用的异步版本。还提供用于指定意图的帮助。

公开(公告)号：CN102592087A

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

申请号：CN201110449093.2

申请日：2011-12-28

Applicant: 微软公司

Inventor： D·基洛夫斯基 ,  B·利夫希茨 ,  G·梅德文斯基 ,  V·盖加拉 ,  K·雷 ,  J·林德

IPC: G06F21/00

CPC classification number: G06F21/125 ,  G06F2221/2115

Abstract: 本发明涉及标识出可因子分解的代码。公开了涉及自动标识出潜在地放置在分拆计算的计算环境中的远程计算设备上的一个或多个计算机程序功能的各个实施例。例如，一个公开的实施例在计算设备(11)上提供了一种确定程序中的代码的、要定位在该代码的其他部分的远程的可因子分解的部分以阻碍对程序的未经授权的使用和/或分发的方法(200)。该方法(200)包括：接收(202)程序的代码的表示的输入；对代码的表示执行(208)分析，该分析包括静态分析和动态分析中的一个或多个；以及，基于代码的分析，输出(218)通过该分析确定的一个或多个功能的列表来作为要定位在远程的候选功能。

公开(公告)号：CN102782647A

公开(公告)日：2012-11-14

申请号：CN201180011872.2

申请日：2011-02-25

Applicant: 微软公司

Inventor： B·利夫希茨 ,  B·G·佐恩 ,  M·伯特谢尔 ,  G·辛哈

IPC: G06F9/44 ,  G06F17/20

CPC classification number: G06F9/445 ,  H03M7/30

Abstract: 本文中描述的方法包括在计算设备处，通过网络连接从外部源接收数据分组，其中该数据分组包括以脚本语言编写的源代码的经压缩的基于抽象句法树(AST)的表示。该方法还包括解压源代码的经压缩的基于AST的表示，以生成经解压的AST。该方法还包括在源代码的经压缩的基于AST的表示被解压之后，导致计算设备上的至少一个处理器执行经解压的AST中表示的至少一个指令。