指称语义简介西安电子科技大学软件工程研究所刘坚Read

- * - 形式化语义（动态语义） - 语义的形式化描述（形式化语义）对程序设计语言的设计与实现均具有重要意义；形式化语义从数学的角度(用数学的方法)研