形式语义学介绍

《形式语义学介绍》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、形式语义学FormalSemanticsofProgrammingLanguages2011.09教材及参考书教材金成植,《程序理论和技术》,吉林大学出版社,1997.参考书陆汝钤,《计算机语言的形式语义》,科学出版社.屈延文,《形式语义学基础及形式说明》(第二版)，科学出版社，2010.KennethSlonnegerandBarryL.Kurtz,《FormalSyntax&SemanticsofProgrammingLanguages》,Addison-WesleyPublishingCompany,1995.2021

2、/7/152内容第一章程序设计语言基础1.1基本概念；1.2不同程序设计语言范例和特点；1.3一个简单命令式语言的抽象语法第二章函数式抽象描述方法2.1论域理论；2.2Lambda演算；2.3函数式语言；2.4应用第三章操作语义学3.1抽象机方法；3.2归约方法；3.3解释器方法第四章指称语义学第五章公理语义学2021/7/153本课程的学科地位计算机方面最有影响的两大国际性组织：IEEE计算机协会(IEEEComputerSociety)美国计算机协会ACM(AssociationforComputingMachinery

3、)IEEE/ACMCC2004(ComputingCurriculum)中将计算学科分为五个领域：计算机科学(ComputerScience-CS)计算机工程(ComputerEngineering-CE)软件工程(SoftwareEngineering-SE)信息技术(InformationTechnology-IT)信息系统(InformationSystem-IS)2021/7/154本课程的学科地位12.软件工程（SoftwareEngineering－SE）SE1.SoftwareprocessesSE2.Soft

4、warerequirementsandspecificationsSE3.SoftwaredesignSE4.SoftwarevalidationSE5.SoftwareevolutionSE6.SoftwareprojectmanagementSE7.SoftwaretoolsandenvironmentsSE8.Component-basedcomputingSE9.FormalmethodsSE10.SoftwarereliabilitySE11.Specializedsystemsdevelopment2021/7/

5、155本课程的学科地位欧洲、美国高校IEEE/ACMCC2005(ComputingCurriculum)中将FM分为6个知识领域15个知识子域或知识单元：FM01：不动点演算、Scott域理论FM02：Hoare逻辑、演算FM06：抽象状态机、循环不变式、前/后条件FM12：指称语义和操作语义FM14：函数式程序设计2021/7/156形式化方法基础其它正确性验证及演算可执行规格支持形式化规格形式化语义形式化方法（FormalMethod）知识体系FM04FM03FM02FM01FM15FM05FM06FM07FM08F

6、M09FM10FM11FM12FM13FM142021/7/157学习目的掌握不同风格程序语言的基本原理、实现原理和典型编程方法。学习编写正确程序的方法和技术。培养抽象思维，提高抽象描述、推理和证明能力。了解形式化方法的基本思想和应用为在软件开发中应用形式化方法奠定基础。训练编写正确程序的能力从认识规律出发训练各种良好的程序设计习惯2021/7/158考核平时作业/测验：30％每章结束时的作业/随堂测验结业考试：70％关于(作业/测试)抄袭：一经发现，并确认后，相关部分的分数为零。交作业的时间：一周后2021/7/159