指称语义学正文 形式语义学的一个分支。人们用程序设计语言编制程序，命令计算机系统去加工数据。不同的计算机系统有不同的结构，因此对同一个命令的执行过程可以不同，但最终效果应该相同。指称语义学方法认为不... [阅读全文]
Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有
