高级检索

    形式语义学引论 指称语义学

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

       

    /

    返回文章
    返回