第01章++计算机语言的学科形态与发展历程-1解说.ppt

高级语言的分类 按语言的特点，可以将高级语言划分为： 过程式语言（如Cobol，Forturn，Algol，Pascal，Ada，C） 函数式语言（如Lisp） 数据流语言（如SISAL，VAL） 面向对象语言（如Smalltalk，CLU，C++） 逻辑语言（如Prolog） 字符串语言（如SNOBOL） 并发程序设计语言（如Concurrent Pascal，Modula 2）等 第*页 高级语言的形式化 20世纪50年代 美国语言学家乔姆斯基（Noam Chomsky）关于语言分层的理论， 巴科斯（Backus）、瑙尔（Naur）的关于“上下文无关方法表示形式”的研究成果推动了语法形式化的研究。 其结果是，在ALGOL60的文本设计中第一次使用了BNF范式来表示语法，并且第一次在语言文本中明确提出应将语法和语义区分开来。 第*页 高级语言的形式化 20世纪50年代至60年代间，面向语法的编译自动化理论得到了很大发展，使语法形式化研究的成果达到实用化的水平。 语法形式化问题基本解决以后，人们逐步把注意力集中到语义形式化的研究方面, 20世纪60年代，相继诞生了 操作语义学 指称语义学 公理语义学 代数语义学等语义学理论 第*页 高级语言简史 50年代高级语言出现 60年代奠基性研究 70年代完善的软件工程工具 80年代面向对象发展 90年代多范型、持久化、多媒体、平台无关 并行、声明式程序设计时代 第*页 第*页 数学表示法 单元记录设施 符号名称 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 广泛应用开发：Per