公开(公告)号：CN101606154A

公开(公告)日：2009-12-16

申请号：CN200880003975.2

申请日：2008-02-05

Applicant: 微软公司

Inventor： H·J·M·梅杰 ,  A·K·西尔弗 ,  P·A·维克 ,  E·扎伯克利特斯基 ,  A·V·青高兹

IPC: G06F17/30

CPC classification number: G06F16/2438 ,  G06F16/2423

Abstract: 所要求保护的主题涉及运算符模式的形式化，其可方便表达式的第一子句中的运算符到表达式的下一子句中的运算符的元素类型的类型流。流到下一子句的类型以及其中现存的运算符可被组合以推断下一子句的元素类型。由此，可增量式地实现类型检查、自动完成和其它有利特征而无需在前对表达式的完全转换。

公开(公告)号：CN100354823C

公开(公告)日：2007-12-12

申请号：CN200410063989.7

申请日：2004-06-18

Applicant: 微软公司

Inventor： S·斯班舍 ,  M·W·戈茨 ,  T·梁 ,  J·R·谢梅尔泽 ,  A·K·西尔弗

IPC: G06F9/44

CPC classification number: G06F8/71 ,  G06F8/36

Abstract: 在一个XML文件中对代码段及与该代码段关联的信息(例如元信息)元素进行编码。一个或多个编码的代码段保存在一个编码代码段库中。可以选择一个编码代码段并插入到一个源代码文件中。当所述编码代码插入到源代码中时，自动包含该代码段所需的相关元素，并且识别需要修改的代码段部分。管理并组织所述代码段以促进所述代码段的共享。

公开(公告)号：CN1573693A

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

申请号：CN200410063989.7

申请日：2004-06-18

Applicant: 微软公司

Inventor： S·斯班舍 ,  M·W·戈茨 ,  T·梁 ,  J·R·谢梅尔泽 ,  A·K·西尔弗

IPC: G06F9/44

CPC classification number: G06F8/71 ,  G06F8/36

Abstract: 在一个XML文件中对代码段及与该代码段关联的信息(例如元信息)元素进行编码。一个或多个编码的代码段保存在一个编码代码段库中。可以选择一个编码代码段并插入到一个源代码文件中。当所述编码代码插入到源代码中时，自动包含该代码段所需的相关元素，并且识别需要修改的代码段部分。管理并组织所述代码段以促进所述代码段的共享。