|
|||||
|
|
| 一积基于Ada的规范说明语言 | |
| 引用本文： | 殷建平,陈火旺.一积基于Ada的规范说明语言[J].计算机工程与科学,1992,14(1):38-44. |
| 作者姓名： | 殷建平 陈火旺 |
| 作者单位： | 南京大学计算机系 210008(殷建平)，国防科技大学计算机系 410073(陈火旺) |
| 摘 要： | 本文设计了一种基于Ada的规范说明语言,该语言具有模块化机制,参量化机制,私有化机制和函数定义机制,在一个模块中可说明操作、类型和常量,函数的定义由前置条件和结果描述组成,其中允许使用量词表达式和描述符表达式。 |
| 关 键 词： | Ada语言 规范说明语言 程序语言 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与科学》下载全文 | |