XYZ/G2的类型等价问题 |
| |
作者姓名: | 华庆一 李友仁 顾元祥 |
| |
作者单位: | 西北大学计算机科学系(华庆一,李友仁),西北大学计算机科学系(顾元祥) |
| |
摘 要: | 本文扼要地讨论了强类型语言中的类型等价一般概念,并分析了结构等价和各字等价的特点。在此基础上,本文着重研究了系统程序设计语言和XYZ/G2语言的类型等价设计依据。指出:在系统程序设计语言中宜于采用结构等价的原则,XYZ/G2也同样。最后,我们给出了 XYZ/G2的类似结构等价定义,并对其利弊进行了简单的分析。
|
本文献已被 CNKI 等数据库收录! |
|