– 带依赖类型的演算，包括依赖积与依赖和 – 概要介绍Dependent ML（DML），以此来展示怎样把依赖类型用到实际语言中，这是当前程序设计语言研究的一个课题 – 带广义积与广义和的直谓式演算，以及它们同SML及其相近语言的模块系统的联系

程序设计语言模拟试题(一) 一、填空(30) 1、语言的标准化有专有化标准和共识性标准两个种类。 2、基于解释型语言的源程序,不产生目标机器代码,只是产生更易于执行的中间代码,然后由软件解释执行

第1章习题 T4,6 补充习题: 1、简述程序设计语言的发展简史 2、解释算法、数据结构的含义。 3、程序语言的使用代价有哪几种量度 4、程序语言一般有哪几种计算模型,各有和特点

补充习题: （1)简述程序设计语言的发展简史。 （2)解释算法、数据结构的含义。 （3)程序语言的使用代价有哪几种量度。 （4)程序语言一般有哪几种计算模型,各有和特点

文法是语言的生成系统，而自动机是语言的识别系统。自动机分为:图灵机、线性有界自动机、下推自动机、有限自动机

大纲要求： 汇编、编译、解释系统的基础知识和基本工作原理。 程序设计语言的基本成分一数据、运算、控制和传输以及过程（函数）调用。 各类程序设计语言的主要特点和适用情况

本章主要内容 3,1编程语言语法 3.2翻译步骤 3.3BNF文法

1. C语言简介 2. 简单的C程序介绍 3. C程序的上机步骤

第2章机器体系机构对语言的影响 2.1计算机的操作 2.2虚拟计算机和绑定时间

语言分类: 强制式(命令式或面向语句) 函数式 逻辑式 面向对象