作者	陈仪香
出版社
出版时间	2003-06-01

特色：

该项目围绕着计算机程序设计语言的数学基础理论及其在形式语义学中的应用展开了系统的研究，在指称语义的论域理论、公理语义的非Hoare型逻辑系统、以及不确定性程序的形式语义等方面取得了丰富的研究成果。所出版的《形式语义学的稳定论域理论》学术专著具有较高的理论价值。