形式语义学 程序的设计语言原理.pptVIP

本PPT参考了金英老师的课程内容 形式语义学 Forma semantics 2015/8/2  语义定义 语义定义:赋予每个合法的程序一个明确的意义 语义定义的基本方法,是基于语言的语法结构: 定义语言中的基本元素的意义 ·定义语言中各种语法结构的意义 algol60修订报告中用BNF定义语言的语法,采用自然语言的说明和实例的 方式,非形式地定义 Algol60的语义 Backus在讨论Algo60时说:现在我们已经有办法严格定义语言的语法了, 希望今后不久就能严格定义语言的语义。 至今的语言手册一直沿用这种方式 语义远比语法复杂,至今还没有开发出一种完美、功能充分强大、容易理解 容易使用的语义定义方式,可很好地用于定义一切语言中一切结构的语义 但是,对程序语义的研究已经得到许多成果  操作语义学 代数语义学 程序设计语言 逻辑 形式语义 模型 关系 公理语义学 功能 指称语义学 函数式描述方法 理论基础 2015/8/2  匚程序设计语言 语义形式化 语法化|缩 译 理 程序设计语 形式语义 离散数学  程序设计语言理解 Formal Method 抽象能力 程序设计语言 形式语义 程序设计方法 Formal Verification 软件开发方法 Formal Specificat