公开(公告)号：CN101689112A

公开(公告)日：2010-03-31

申请号：CN200880021201.2

申请日：2008-06-06

Applicant: 微软公司

Inventor： H·J·M·梅杰 ,  A·西尔弗 ,  P·A·维克

IPC: G06F9/44

CPC classification number: G06F8/437 ,  G06F8/33

Abstract: 提供了用于集成开发环境(IDE)中的动态类型的程序协助。与后期绑定构造相关联的类型可以从静态信息中推断和/或从设计时执行中确定。协助然后可根据精确和/或推测类型来提供。此外，动态类型协助可以结合静态类型协助来采用以便于开发例如支持后期和早期绑定的程序。

公开(公告)号：CN101689112B

公开(公告)日：2014-06-11

申请号：CN200880021201.2

申请日：2008-06-06

Applicant: 微软公司

Inventor： H·J·M·梅杰 ,  A·西尔弗 ,  P·A·维克

IPC: G06F9/44

CPC classification number: G06F8/437 ,  G06F8/33

Abstract: 提供了用于集成开发环境(IDE)中的动态类型的程序协助。与后期绑定构造相关联的类型可以从静态信息中推断和/或从设计时执行中确定。协助然后可根据精确和/或推测类型来提供。此外，动态类型协助可以结合静态类型协助来采用以便于开发例如支持后期和早期绑定的程序。

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

公开(公告)号：CN101253478A

公开(公告)日：2008-08-27

申请号：CN200680032080.2

申请日：2006-08-15

Applicant: 微软公司

Inventor： H·J·M·梅杰 ,  B·C·贝克曼 ,  D·N·舒阿奇 ,  A·希尔维 ,  P·A·维克 ,  P·F·德亚顿 ,  A·Y·阿哈罗尼 ,  R·拉梅尔

IPC: G06F9/44 ,  G06F9/45

CPC classification number: G06F8/31 ,  G06F9/449

Abstract: 提供了通过供应选择进入(或选择退出)后期绑定来平衡编程语言内后期绑定和早期绑定的系统和方法，其中后期绑定是基于该变量的静态类型(例如，对象或类型/字符串)而触发的。此外，可以允许变量在编程语言的不同区域(例如，程序段)内具有不同的静态类型。