|
|||||
|
|
| XCY语言的静态指称语义的设计 | |
| 作者姓名： | 何旭东 徐家福 |
| 作者单位： | 南京大学(何旭东)，南京大学(徐家福) |
| 摘 要： | 本文讨论了用VDM元语言形式地描述XCY的静态指称语义.在引言中对研究表态语义的意义,所采用的方法进行了介绍.第二部分讨论了抽象语法的设计,从BNF描述的具体语法到VDM描述的抽象语法之间的变换,以及设计XCY语言的抽象语法中的一些考虑.第三部分描述了静态环境和模块指称的设计.第四部分讨论了静态环境和模块上的几个语义函数的构造.最后是结论.在附录中给出了XCY语言的静态指称语义(略). |
| 本文献已被 CNKI 等数据库收录！ | |