摘要: 本文讨论了用VDM元语言形式地描述XCY的静态指称语义.在引言中对研究表态语义的意义,所采用的方法进行了介绍.第二部分讨论了抽象语法的设计,从BNF描述的具体语法到VDM描述的抽象语法之间的变换,以及设计XCY语言的抽象语法中的一些考虑.第三部分描述了静态环境和模块指称的设计.第四部分讨论了静态环境和模块上的几个语义函数的构造.最后是结论.在附录中给出了XCY语言的静态指称语义(略).