自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(6)
  • 收藏
  • 关注

原创 复习blog5

Equality in ADT and OOP用AF描述:a equals b iff AF(a)=AF(b)用关系E描述:a equals b iff E(a,b)自反:E(a,a)对称:E(a,b)->E(b,a)传递:E(a,b)^E(b,c)->E(a,c)观察等价:a equals b iff 对a和b的任何同一操作都会得到相同的结果。在ADT中,如...

2019-06-25 00:23:20 168

原创 复习blog4

Object-Oriented Programming(OOP)面向对象的三大特性:封装性,继承性,多态性。封装:模块化:将属性和行为都封装在类中,程序定义很多类。信息屏蔽:将类的细节部分隐藏起来,用户只通过受保护的接口访问某个类。如:private:只有当前类可见protected:对子类和同一个包内也可见public:任何地方都可见继承:父类和...

2019-06-24 23:12:59 64

原创 复习blog3

Abstract Data Type(ADT)对抽象类型的操作可分为以下四类:Creators:产生类型的新对象。Producers:在已有对象的基础上产生新的对象。Observers:输入抽象类型的对象,返回其他类型的对象。Mutators:改变对象。ADT实例:intcreators:0,1,2,......producers:+,-,*,/observ...

2019-06-24 01:39:08 86

原创 复习blog2

1、类型和变量:类型是一组值,以及对这些值执行的操作,变量存储一个特定类型的值的命名位置。2、静态检查和动态检查:静态检查是在程序运行之前自动发现错误,动态检查是代码执行时自动发现错误。静态检查可检查出:语法错误,关键字错误,参数的数目错误,参数类型错误,返回值类型错误。动态检查可检查出:语法错误,非法的参数值,超出范围的索引值,调用空对象的方法。3、可变性和不变性如:...

2019-06-24 00:15:31 74

原创 复习blog1

描述软件系统的三个维度:build- and run-time views:即构建时和运行时的视图moment and period views:即某时刻和周期的视图code and component views:即代码和组件的视图 moment period code-level compone-level code-level ...

2019-06-23 23:20:20 127

原创 hello.c的一生

第1章 概述1.1 Hello简介首先,使用高级语言(C语言)编写得到hello.c源程序文本文件。然后对其进行预处理,形成hello.i文本文件。接着对其进行编译,形成hello.s汇编语言文本文件。接下来经过汇编程序处理,将其转化为hello.o可重定位目标程序二进制文件。最后将程序与函数库中需要使用的二进制文件进行链接,形成可执行目标程序ELF二进制文件。执行该目标文件,操作系统会使用...

2018-12-31 11:09:56 656

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除