南京大学计算机科学与技术系：《程序设计（C++）》课程教学资源（PPT讲稿，基础篇）10 f函数式、逻辑式程序设计 unctional & logic programming

◼ 标识符的作用域 ◼ 变量的生存期 ◼ 内联函数 ◼ 带缺省值的形式参数 ◼ 函数名重载

◼ 基于过程抽象的程序设计 ◼ 子程序 ◼ C++函数 ◼ 变量的局部性（局部变量与全局变量） ◼ C++程序的多模块结构 ◼ 标准库函数

◼ 流程控制概述 ◼ 顺序执行 ◼ 选择执行 ◼ 循环执行 ◼ 无条件转移 ◼ 程序设计风格

◼ 计算机的工作模型 • 冯诺依曼体系结构、硬件、软件以及机内信息表示 ◼ 程序设计概述 • 程序设计范式、步骤以及语言 ◼ C/C++语言概述 • C/C++程序构成、运行步骤、开发环境 • C/C++语言的词法

 引言  Eiffel 的 DbC 机制  DbC与继承  如何应用DbC

• Introduction • Microscopic calculations on superheavy nuclei • Spherical generalized density-dependent cluster model • Deformed generalized density-dependent cluster model • Summary

I. Writing and Presentation 1. Typo and grammar mistake 2. Sentence and convention 3. Exercise and discussion II. Research Formulation 1. Definition before use 2. Research problem 3. Inadequacy of related work 4. Insight of your proposal 5. Exercise and discussion III. Experimentation 1. Questions and subjects 2. Experimental design 3. Threats to validity 4. Exercise and discussion

• 代码生成器的设计 • 目标语言 • 目标代码中的地址 • 基本块和流图 • 基本块优化 • 代码生成器 • 寄存器分配

• 中间代码表示 – 表达式的有向无环图DAG – 三地址代码：x = y op z • 类型检查 – 类型、类型检查、表达式的翻译 • 中间代码生成 – 控制流、回填