公开(公告)号：CN1875345A

公开(公告)日：2006-12-06

申请号：CN200480018112.4

申请日：2004-05-21

申请人： 微软公司

发明人： M·R·普莱斯科 ,  小D·R·塔迪提

IPC分类号： G06F9/45

CPC分类号： G06F8/437

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

公开(公告)号：CN100474252C

公开(公告)日：2009-04-01

申请号：CN200480018112.4

申请日：2004-05-21

申请人： 微软公司

发明人： M·R·普莱斯科 ,  小D·R·塔迪提

IPC分类号： G06F9/45

CPC分类号： G06F8/437

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