高级检索

    形式语义学引论 公理语义学

    • 摘要: 1.引言(Introduction) 不同的人对了解程序设计语言的语义有不同的要求。程序的用户只关心当输入某些数据时,是否能得到他所要求的正确输出。编制程序的程序员,不仅关心程序的输入、输出,而且还关心程序所用的工作单元的内容。又如,程序是否正常终止也是一些人们所关心的,同时为多个用户服务的程序其服务是否公平合理等也是应该关心的。总之,不同的人在了解程序的含义时有不同

       

    /

    返回文章
    返回