首页> 中国专利> 在编译过程中表示和检查程序组件的一致性的可扩展类型系统

在编译过程中表示和检查程序组件的一致性的可扩展类型系统

页面导航

摘要
著录项
法律信息
相似文献

摘要

提供了用于各种形式的中间语言校验的一致性的类型表示、类型检查器和编译器。在编译器中对编程语言进行类型检查是通过取一个或多个规则集作为对类型检查器的输入来实现的，类型检查器基于多个准则中的任一个或两个或多个的组合来选择一个或多个规则集。它们之中有编译阶段、源语言、体系结构以及进行类型检查的语言中存在的类型化级别。语言然后使用所选择的一个或多个规则集来进行类型检查。规则集可包括对应于强类型检查的一个规则集、对应于弱类型检查的一个规则集、以及对应于表示类型检查的一个规则集。作为替换，可提供具有基于先前提到的准则的的任一个，或两个或多个的组合从一较大的规则集在运行时选择一个或多个规则集的类型检查器的编译器。

著录项

公开/公告号CN100474252C

专利类型发明授权
公开/公告日2009-04-01

原文格式PDF
申请/专利权人微软公司;
展开▼

申请/专利号CN200480018112.4
发明设计人 M·R·普莱斯科;小D·R·塔迪提;
展开▼

申请日2004-05-21
分类号G06F9/45(20060101);
代理机构31100 上海专利商标事务所有限公司;
代理人张政权
地址美国华盛顿州
入库时间 2022-08-23 09:02:08

法律信息

法律状态公告日

法律状态信息

法律状态
2018-06-08

未缴年费专利权终止 IPC(主分类):G06F 9/45 授权公告日:20090401 终止日期:20170521 申请日:20040521

专利权的终止
2015-05-13

专利权的转移 IPC(主分类):G06F 9/45 变更前: 变更后: 登记生效日:20150422 申请日:20040521

专利申请权、专利权的转移
2015-05-13

专利权的转移 IPC(主分类):G06F 9/45 变更前: 变更后: 登记生效日:20150422 申请日:20040521

专利申请权、专利权的转移
2009-04-01

授权

授权
2009-04-01

授权

授权
2007-01-31

实质审查的生效

实质审查的生效
2007-01-31

实质审查的生效

实质审查的生效
2006-12-06

公开

公开
2006-12-06

公开

公开

查看全部

相似文献

专利
中文文献
外文文献

1. 在编译过程中表示和检查程序组件的一致性的可扩展类型系统 [P] . 中国专利： CN100474252C . 2009.04.01
2. 用于建立可扩展业务应用的类型系统 [P] . 中国专利： CN101971176B . 2014.04.30
3. AN EXTENSIBLE TYPE SYSTEM FOR REPRESENTING AND CHECKING CONSISTENCY OF PROGRAM COMPONENTS DURING THE PROCESS OF COMPILATION [P] . 韩国专利： KR101086082B1 . 2011-11-25

机译：在编译过程中表示和检查程序组件一致性的可扩展类型系统
4. AN EXTENSIBLE TYPE SYSTEM FOR REPRESENTING AND CHECKING CONSISTENCY OF PROGRAM COMPONENTS DURING THE PROCESS OF COMPILATION [P] . 欧洲知识产权局专利： EP1639461A4 . 2010-12-22

机译：在编译过程中表示和检查程序组件一致性的可扩展类型系统
5. AN EXTENSIBLE TYPE SYSTEM FOR REPRESENTING AND CHECKING CONSISTENCY OF PROGRAM COMPONENTS DURING THE PROCESS OF COMPILATION [P] . IN2005DN06067A . 2007-11-23

机译：在编译过程中表示和检查程序组件一致性的可扩展类型系统