首页 | 本学科首页   官方微博 | 高级检索  
     

形式语义学引论 指称语义学
摘    要:1.引言(Introduction) 人们用程序设计语言编制程序,命令计算机系统去加工数据。不同的计算机系统有不同的结构,因此对同一个命令的执行过程可以不同,但是所产生的最终效果应该是相同的。指称语义学方法认为语言成分的含义是语言成分本身所固有的,是不依据所在计算机系统而改变的。故不应将程序语言成分的执行过程计入语言成分的语义中,语言成分的语义是执行语言成分所要得到的

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号