1.一種包含其上具有可執行模塊(220)的一個或多個計算機可讀介質(104)的計算機程序產品，所述可執行模塊包括：

凍結對象(222)，所述凍結對象(222)是由符合一組規范化規則的規范類型描述符(211)規范地描述的類型的實例；

輔助類型描述符(221)，所述輔助類型描述符(221)與所述規范類型描述符不相同，但至少對于使用所述類型的類型描述符的操作中的某一些，所述輔助類型描述符也用作所述凍結對象的類型描述符；

其中所述凍結對象直接或間接地與所述輔助類型描述符和所述規范類型描述符相關聯。

2.如權利要求1所述的計算機程序產品，其特征在于，所述規范類型描述符不存在于所述可執行模塊中。

3.如權利要求2所述的計算機程序產品，其特征在于，所述規范類型描述符存在于所述計算機程序產品上。

4.如權利要求1所述的計算機程序產品，其特征在于，所述凍結對象通過包括指向所述輔助類型描述符的指針來與所述輔助類型描述符相關聯。

5.如權利要求1所述的計算機程序產品，其特征在于，所述間接組件是這樣一種組件：該組件可在運行時被寫入從而使得所述間接組件在不使得所述間接組件或其部分變為專用的情況下指向所述規范化的類型描述符。

6.如權利要求1所述的計算機程序產品，其特征在于，所述間接組件是這樣一種組件：該組件可在運行時被一次寫入從而使得所述間接組件在不使得所述間接組件或其部分變為專用的情況下指向所述規范化的類型描述符。

7.如權利要求1所述的計算機程序產品，其特征在于，所述間接組件是導入地址表。

8.一種用于使用對應于凍結對象(222)的多個類型描述(211、221)來執行一個或多個類型操作的方法(300)，所述多個類型描述包括符合一組規范化規則的規范類型描述符(211)，所述方法包括：

對于第一組一個或多個操作，確定(301)輔助類型描述符(221)將足以執行所述操作的動作，以及使用(302)所述輔助類型描述符但不使用所述規范類型描述符來執行所述操作的動作；以及

對于第二組一個或多個操作，確定(301)所述輔助類型描述符不足以執行所述操作的動作，使用(303)所述輔助類型描述符來訪問所述規范類型描述符的動作；以及使用(304)所述規范類型描述符來執行所述操作的動作。

9.如權利要求8所述的方法，其特征在于，所述使用所述輔助類型描述符來訪問所述規范類型描述符的動作包括：

訪問所述輔助類型描述符內的指針的動作，其中所述指針直接或間接地指向所述規范類型描述符。

10.如權利要求8所述的方法，其特征在于，所述使用所述輔助類型描述符來訪問所述規范類型描述符的動作包括：

訪問所述輔助類型描述符內的指針的動作，其中所述指針直接或間接地指向包括直接或間接地指向所述規范類型描述符的指針的間接組件；以及

使用所述間接組件中的指針來訪問所述規范類型描述符的動作。

11.如權利要求10所述的方法，其特征在于，還包括準備使用所述間接組件來允許訪問所述規范類型描述符的動作。

12.如權利要求11所述的方法，其特征在于，所述準備動作包括：

確定對應于所述間接組件的類型的動作；

確定所述類型對應于所述規范類型描述符的動作；以及

修改所述間接組件來包括指向所述規范類型描述符的指針的動作。

13.如權利要求8所述的方法，其特征在于，所述第二組操作中的至少一個包括所述凍結對象的類型與另一對象的類型的比較。

14.如權利要求8所述的方法，其特征在于，所述第一組操作中的至少一個要求所述凍結對象和用于執行所述操作的所述類型描述符之間只存在一層間接。

15.如權利要求8所述的方法，其特征在于，所述第一組操作中的至少一個是虛調用操作。