|
|
| 11. | decrease code size, and(3) increase confidence in the correctness of a program– all with minimal, if any, intervention |
| 计算机程序的形式分析方法主要因为有以下需求之一：()改善运行时性能，()减少代码大小，和()增加对程序正确性的信心-程序设计者几乎不用介入，既使有，也只是最低限度的干预。 |
|
|
| | |
| 12. | 2003, “A Multivariate GARCH in Mean Approach to Investigating the Policy Implication of Central Bank Intervention |
| 高樱芬，2003，「另一种预测汇率危机的方法」，2003开放经济与总体计量会议，中央研究院经济研究所与行政院主计处. |
|
|
| | |