发明名称 可空和后期绑定
摘要 提供了增强编程语言的系统和方法,而这是通过为包括引用和值类型T两者的静态类型引入除值层面之外在类型层面上的空统一来实现的。不加提及实际类型地引入一种添加一层可空性(以及移除该可空性)的操作符,从而以精确的方式指引重载。
申请公布号 CN101253477A 申请公布日期 2008.08.27
申请号 CN200680031473.1 申请日期 2006.08.04
申请人 微软公司 发明人 H·J·M·梅杰;A·希尔维;B·C·贝克曼;P·A·维柯;A·Y·阿哈罗尼;D·N·舒艾奇;P·F·戴尔顿
分类号 G06F9/44(2006.01);G06F9/45(2006.01);G06F17/00(2006.01) 主分类号 G06F9/44(2006.01)
代理机构 上海专利商标事务所有限公司 代理人 陈斌
主权项 1.一种计算机实现的系统,包括下列计算机可执行组件:针对引用和值两者的静态类型的用于指定可空性的空统一组件;以及不加提及类型地添加或移除一层可空性的操作符。
地址 美国华盛顿州