책 이미지
eBook 미리보기
책 정보
· 제목 : Principles of Program Analysis (Hardcover, Corrected 1999.)
· 분류 : 외국도서 > 컴퓨터 > 컴파일러
· ISBN : 9783540654100
· 쪽수 : 452쪽
· 출판일 : 1999-10-22
· 분류 : 외국도서 > 컴퓨터 > 컴파일러
· ISBN : 9783540654100
· 쪽수 : 452쪽
· 출판일 : 1999-10-22
목차
1 Introduction.- 2 Data Flow Analysis.- 3 Constraint Based Analysis.- 4 Abstract Interpretation.- 5 Type and Effect Systems.- 6 Algorithms.- A Partially Ordered Sets.- A.1 Basic Definitions.- A.2 Construction of Complete Lattices.- A.3 Chains.- A.4 Fixed Points.- Concluding Remarks.- B Induction and Coinduction.- B.1 Proof by Induction.- B.2 Introducing Coinduction.- B.3 Proof by Coinduction.- Concluding Remarks.- C Graphs and Regular Expressions.- C.1 Graphs and Forests.- C.2 Reverse Postorder.- C.3 Regular Expressions.- Concluding Remarks.- Index of Notation.
