程序分析技术第一讲程序设计语言的发展_第1页
程序分析技术第一讲程序设计语言的发展_第2页
程序分析技术第一讲程序设计语言的发展_第3页
程序分析技术第一讲程序设计语言的发展_第4页
程序分析技术第一讲程序设计语言的发展_第5页
已阅读5页，还剩10页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

程序分析技术,第一讲：程序设计语言的发展,一、程序分析的任务,以程序为对象，分析其属性，如：值的获取与传播活跃性,2,二、程序分析技术的应用,程序转换程序理解程序演化程序逆向工程,3,程序验证与测试程序优化重构自动并行化,4,三、程序设计语言的发展,5,三、程序设计语言的发展机器语言,指令：二进制组成具有基本操作，左移、右移、加1缺点：可读性差（可理解性差）写程序困难（不方便）,问题：程序的维护比较困难扩展纠错预防适应,6,三、程序设计语言的发展汇编语言,符号化了的机器语言功能没有扩充可读性强,例：将(R4R5)中的双字节数取补，结果送R4R5。CMPT：MOVA，R5CPLAADDA，#1MOVR5，AMOVA，R4CPLAADDCA，#0MOVR4，ARET,7,三、程序设计语言的发展高级程序设计语言,(1)过程式语言PASCAL,C,FORTRAN,PL1特点：命令为基础，程序由一系列语句组成，语句的执行引起存储单元值的变化。程序的正确型（归纳断言指导）数学性质弱（副作用，变量值变化）数据类型不够丰富程序的动静态结构差异大,8,历史上的goto语句之争,1970，XPL编译器只用了一个goto1972，操作系统只有五处用了标号和goto难以理解，难以查错，动静态差异大修改引起的副作用小，全局优化简单概念简单，效率高,9,三、程序设计语言的发展高级程序设计语言,(2)函数式语言LISP,ML,HOPE,FP程序由一组函数组成，通过调用执行程序。特点：数学性质好数据类型可自定义支持并行计算抽象级别高数据以表为基础,10,三、程序设计语言的发展高级程序设计语言,(3)逻辑式语言PROLOG以谓词为基础，具有推理能力特定的应用领域抽象的问题求解公式处理专家系统人工智能等,11,三、程序设计语言的发展高级程序设计语言,(4)对象式语言SmallTalk80特点：封装性继承性多态性,12,三、程序设计语言的发展第四代语言,特定领域的特殊类语言高级语言的抽象如：Oracle应用开发环境、PowerBuilder,13,四、程序分析的一般方
人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论