课程讲义第1章-程序设计语言原理.ppt

第*页 数学表示法 单元记录设施 符号名称 1950 数据规格说明 结构化控制 COBOL（1958） 1960 非算法规格说明 交互使用 结构化数据 面向对象编程 1970 并发 数据抽象 1980 1985 符 号 汇编 （ 1950年代中期 ） FORTRAN（1956） ALGOL-58 APL （1962） ALGOL-60 MAD（1959） RPG（1964） BASIC（1964） CPL（1963） ALGOL-68 BCPL （1967） PL/1 （1966） Simula （1967） Pascal(1973) B(1970) C (1972) 并发Pascal (1975) Modula CLU(1977) Smalltalk Ada(1982) True BASIC(1980s) C++ 1995 Ada(95) 多范式型 java 1996 平台无关 第*页 高级语言中抽象、理论和设计形态 抽象 理论 设计 常用的符号：数字(0?9)，大小写字母(A?Z、a?z)，括号，运算符(+，?，*，/)等; 用高级语言对算法进行的描述； 语言的分类方法； 各种数据类型的抽象实现模型； 词法分析、编译、解释和代码优化的方法； 词法分析器、扫描器、编译器组件和编译器的自动生成方法 形式语言和自动机理论； 形式语义学：操作、指称、公理、代数、并发和分布式程序的形式语义 特定语言：过程式的COBOL，FORTURN，ALGOL，Pascal，Ada，C），函数式的（LISP），数据流的（SISAL，VAL），面向对象的（Smalltalk，C++），逻辑的（Prolog），字符串（SNOBOL），和并发（Concurrent Pascal，Modula 2）等语言； 词法分析器和扫描器的产生器（如YACC，LEX），编译器产生器； 语法和语义检查，成型、调试和追踪程序 * ? 三、面向应用的计算语言发展与学科形态 第*页 计算机语言的划分 一般将它划分为5代： 第一代为机器语言； 第二代为汇编语言； 第三代为高级语言； 第四代为“非过程性语言”； 第五代为自然语言。 第*页 4GL 提供了功能强大的非过程化问题定义手段，用户只需告知系统“做什么”，而无需说明“怎么做” 以数据库管理系统所提供的功能为核心，进一步构造了开发高层软件系统的开发环境， 报表生成 多窗口表格设计 菜单生成系统等 4GL的代表性软件系统有：PowerBuilder、Delphi和INFORMOX-4GL等。 第*页 应用语言中有关抽象、理论和设计形态的主要内容 抽象 理论 设计 用应用语言对算法进行描述 ? 特定应用领域的支撑理论：数据库等领域的支撑理论 在文件处理等方面的应用：如表生成，图、数据处理，统计处理等； 第四代语言（4GL），如XML、HTML等 第*页 二十一世纪语言趋势 并行：如何做并行程序设计是每个计算工作者的挑战 狭义摩尔定律失效 并行系统的可靠性 并行系统开发效率 脚本语言：计算机应用的崛起 WEB服务端：PHP，ASP，JSP等 Web客户端：Javascipt 广泛应用开发：Perl，Python，Ruby 专用脚本语言：Tcl/tk 丰富、灵活、快速开发、解释执行、社区 软件设计：基于组件、服务、AOP的软件开发 第*页 对计算机语言抽象、理论和设计3个学科形态的研究，有助于我们正确理解计算机语言的本质，以及更好地把握它的研究方向，从而能更好地进行计算学科的研究。 第*页 人类社会 物理系统 信息世界 能力 资源 复杂性 追求高能力（如功能、性能、智能、易用等）是信息化的客观需求，也是人类追求科学技术极限的主观愿望使然。 资源的合理消耗是人类社会可持续发展的基本保障 复杂性是现实世界的客观属性，控制复杂性也是人类在构造计算系统时自然的追求 信息技术发展的三个维度 * ? 四、程序设计语言分类与典型语言 第*页 商用 科学 系统 模拟 实时 COBOL FORTRAN BLISS GPSS CHILL 各种表单语言 C,C++ C,C++ SIMULA GYPSY 嵌入式 人工智能 处理命令 教学 正文 Ada Prolog Sell Pascal SNOBOL LISP