编译原理(陈意云中科大教授的课件)资源-CSDN文库

共52个文件

ppt：25个

doc：23个

pdf：4个

编译原理

5星 · 超过95%的资源需积分: 10 6 浏览量 2009-02-19 14:18:38 上传评论收藏 5.43MB RAR 举报

资源详情

资源评论

资源推荐

收起资源包目录

.rar （52个子文件）

ConstraintBasedAnalysis.ppt 228KB

1998.doc 36KB

modification2.doc 286KB

chapter6.ppt 758KB

modification4.doc 48KB

2007.doc 91KB

chapter4.ppt 1.28MB

.ppt 240KB

project.ppt 265KB

preface1.doc 21KB

chapter1.ppt 322KB

chapter12.ppt 420KB

1999.doc 33KB

2006.doc 91KB

ProgramVerification2.ppt 218KB

05.doc 30KB

ConstraintBasedAnalysis.pdf 305KB

AbstractInterpretation.pdf 438KB

chapter10.ppt 492KB

2008.doc 96KB

chapter8.ppt 590KB

chapter13.ppt 511KB

04.doc 32KB

AbstractInterpretation.ppt 260KB

modification5.doc 116KB

chapter2.ppt 1000KB

_.pdf 514KB

ProgramVerification4.ppt 260KB

chapter7.ppt 518KB

chapter11.ppt 415KB

ProgramVerification3.ppt 214KB

TypeAndEffectSystems.pdf 295KB

数据库1.ppt 359KB

2001.doc 42KB

chapter3.ppt 2.23MB

06.doc 38KB

08.doc 42KB

99_02.doc 43KB

reference.doc 29KB

ProgramVerification1.ppt 175KB

ModelChecking.ppt 715KB

2003.doc 48KB

conts.doc 42KB

2004.doc 52KB

chapter9.ppt 1.54MB

TypeAndEffectSystems.ppt 218KB

03.doc 40KB

ch1.ppt 221KB

chapter5.ppt 936KB

1997.doc 28KB

07.doc 50KB

2005.doc 73KB

Principles of Program Analysis:

Data Flow Analysis

Transparencies based on Chapter 2 of the book: Flemming Nielson,

Hanne Riis Nielson and Chris Hankin: Principles of Program Analysis.

Springer Verlag 2005.

Flemming Nielson & Hanne Riis Nielson & Chris

Hankin.

PPA Chapter 2

 F.Nielson & H.Riis Nielson & C.Hankin (May 2005) 1

Example Language

Syntax of While-programs

a ::= x | n | a

b ::= true | false | not b | b

| a

S ::= [x := a]

| [skip]

| S

; S

if [b]

then S

else S

| while [b]

do S

Example: [z:=1]

; while [x>0]

do ([z:=z*y]

; [x:=x-1]

)

Abstract syntax – parentheses are inserted to disambiguate the syntax

PPA Section 2.1

 F.Nielson & H.Riis Nielson & C.Hankin (May 2005) 2

Building an “Abstract Flowchart”

Example: [z:=1]

; while [x>0]

do ([z:=z*y]

; [x:=x-1]

)

init(· · ·) = 1

ﬁnal(· · ·) = {2}

labels(· · ·) = {1, 2, 3, 4}

ﬂow(· · ·) = {(1, 2), (2, 3),

(3, 4), (4, 2)}

ﬂow

(· · ·) = {(2, 1), (2, 4),

(3, 2), (4, 3)}

[x:=x-1]

[z:=z*y]

[x>0]

[z:=1]

yes

PPA Section 2.1

 F.Nielson & H.Riis Nielson & C.Hankin (May 2005) 3

Initial labels

init(S) is the label of the ﬁrst elementary block of S:

init : Stmt → Lab

init([x := a]

) = `

init([skip]

) = `

init(S

; S

) = init(S

)

init(if [b]

then S

else S

) = `

init(while [b]

do S) = `

Example:

init([z:=1]

; while [x>0]

do ([z:=z*y]

; [x:=x-1]

)) = 1

PPA Section 2.1

 F.Nielson & H.Riis Nielson & C.Hankin (May 2005) 4

Final labels

ﬁnal(S) is the set of labels of the last elementary blocks of S:

ﬁnal : Stmt → P(Lab)

ﬁnal([x := a]

) = {`}

ﬁnal([skip]

) = {`}

ﬁnal(S

; S

) = ﬁnal(S

)

ﬁnal(if [b]

then S

else S

) = ﬁnal(S

) ∪ ﬁnal(S

)

ﬁnal(while [b]

do S) = {`}

Example:

ﬁnal([z:=1]

; while [x>0]

do ([z:=z*y]

; [x:=x-1]

)) = {2}

PPA Section 2.1

 F.Nielson & H.Riis Nielson & C.Hankin (May 2005) 5

sun_flower76

2020-04-22

课件是全的，谢谢分享!

评论收藏

内容反馈

zhanzhan02

粉丝: 9
资源: 18

编译原理(陈意云中科大教授的课件)

评论2

最新资源

编译原理(陈意云 中科大 教授 的课件)

评论2

中科大著名教授的编译原理PPT

编译原理和技术 陈意云 中科大 ppt

编译原理（中科大陈意云）

编译原理课件，中国科大陈意云

编译原理课件 陈意云

编译原理课件 陈意云

编译原理课件（陈意云版本的）

编译原理 陈意云

编译原理陈意云第二版课后答案

编译原理 陈意云 编译原理 陈意云

编译原理 陈意云 前三章章要点

编译原理（陈意云）

陈意云编译原理

编译原理课件 陈意云 张昱

编译原理-陈意云

[编译原理].陈意云.高清非扫描版

编译原理(陈意云 张昱)习题参考答案

编译原理和技术 陈意云

陈意云版编译原理作业答案

编译原理+陈意云

编译原理——陈意云

[编译原理].陈意云

陈意云 编译原理第二版 中科大

编译原理 课后习题答案 陈意云 张昱 高教版

陈意云 版编译原理作业课后习题答案

[编译原理]陈意云张昱

最新资源

编译原理(陈意云中科大教授的课件)

编译原理和技术陈意云中科大 ppt

编译原理课件陈意云

编译原理课件陈意云

编译原理陈意云

编译原理陈意云编译原理陈意云

编译原理陈意云前三章章要点

编译原理课件陈意云张昱

编译原理(陈意云张昱)习题参考答案

编译原理和技术陈意云

陈意云编译原理第二版中科大

编译原理课后习题答案陈意云张昱高教版

陈意云版编译原理作业课后习题答案