各章节总结（标题加星号的章节为重点）-程序设计语言原理.ppt

并发机制 Python多线程同步方法 Lock：避免访问冲突； Rlock：解决嵌套访问共享资源的问题； Semaphore：控制对共享资源的访问数量； Event：实现进程间同步通信； Conditions：条件是事件对象的高级版本。条件表现为程序中的某种状态改变，线程可以等待给定条件或者条件发生的信号。 Java并发机制 基于变量共享的同步机制 不可变量final 监控器(代码块、实例方法、静态方法) 原子变量类 volatile(实例变量、静态变量) 锁 信号灯 基于通信的原语 wait() 与 notify() 管道通信 远程方法调用 第*页 第8章 描述性程序设计语言* 平台无关语言 脚本语言与置标语言(Python 和 R) 基于Python语言，运用主成分分析的分析方法，将数据集data降维，给出分析过程和结果。 基于R语言，运用决策树的分析方法，分析银行的用户账户信息Bank数据，给出分析过程及分类的结果。 第四次课后作业 第*页 第9章 指称语义的原理与应用* 指称语义的原理与表示方法 IMP小语言的指称语义表示与扩充 第*页 已知： Var I: =T = E deallocate(sto, loc) = sto[loc → unused] update(sto, loc, stble) = sto[loc → stble] 写出下列式子的语义等式： elaborate[Var I:=T=E] env sto= execute[let Var I:=E in C] env sto= 第二次随堂作业 “execute [let D in C] env sto= let (env’, sto’)=elaborate D env sto in execute C (overlay (env’, eno)) sto” 中sto’没有deallocate，造成sto’悬空，要求改进，消除sto’的悬空。 第二次随堂作业 第*页 指称语义 语义函数 用适当的数学实体来表示每个短语的意义； 实体被称为短语的指称； 通过将短语映射到某指称的函数，来规定程序设计语言的语义； 这些函数被称为语义函数。 语义函数：短语→指称 语法：Numeral:: 0|1|NO|N1 域：Natural={0,1,2,….} 语义函数：valuation: N→Natural 语义方程：valu[0]=0 valu[1]=1 第*页 指称语义 为一个程序设计语言写指称语义的步骤 1、分析（所设计的）程序设计语言的规格说明并写出抽象语法； 2、定义该语言的指称域，并为这些域定义恰当的辅助函数以模型值上的操作。 3、建立语义函数。 为抽象语法中的每个短语（即短语类）指定一个域（语义函数的输入域），定义输入域到其指称域的语义函数。 4、为每一短语类写语义等式（又叫语义方程）。 语义等式：语义函数的指称，按给出的非形式语义并利用域中定义的辅助函数写出语义等式。 指称语义 辅助函数 allocate : Store →Store × Location deallocate : Store ×Location → Store update : Store × Location × Storable → Store fetch : Store × Location → Storable 第*页 第10章 代数语义的原理与应用 代数语义的原理与表示方法 第*页 闭卷考试 Java 与 Python 语言 IMP小语言 第*页 第1章 历史回顾与语言分类 说明程序设计语言的发展阶段，并列出每一个阶段出现的两到三种最重要语言。 程序设计语言的成功=设计好坏+实现难易+权势支持+社会需要: FORTRON-Alogol60; Modula2-Ada; BASIC-Pascal;Pascal-C; 第*页 第2章 程序设计语言设计概述* 程序设计语言的几个设计目标、设计准则之间的关系。 掌握程序设计语言的规格说明 请用扩展的 BNF 描述 C语言里语句的结构； 假定有语法类 exp 表示一般表达式，s-exp 表示可用于 switch 标号的静态表达式； 请用扩展的 BNF 描述 C++语言里类声明的结构； 假定有语句类statement表示语句，有参数列表类parameter_list表达参数列表； 请用扩展的 BNF 描述 Java语言里类声明的结构； 假定有语句类statement表示语句，有参数列表类parameter_list表达参数列表，有表达式类expression表