| 000 | 01175camuu22003614a 4500 | |
| 001 | 000000882971 | |
| 005 | 20040604114537 | |
| 008 | 990914s1999 nyu b 001 0 eng | |
| 010 | ▼a 99047677 | |
| 015 | ▼a GBA0-29388 | |
| 020 | ▼a 3540654100 (alk. paper) | |
| 040 | ▼a DLC ▼c DLC ▼d OHX ▼d C#P ▼d UKM ▼d LVB ▼d 211009 | |
| 042 | ▼a pcc | |
| 049 | 1 | ▼l 121095031 ▼f 과학 |
| 050 | 0 0 | ▼a QA76.6 ▼b .N537 1999 |
| 072 | 7 | ▼a QA ▼2 lcco |
| 082 | 0 0 | ▼a 005.1 ▼2 21 |
| 090 | ▼a 005.1 ▼b N669p | |
| 100 | 1 | ▼a Nielson, Flemming, ▼d 1955- |
| 245 | 1 0 | ▼a Principles of program analysis / ▼c F. Nielson, Hanne Riis Nielson, Chris Hankin. |
| 260 | ▼a Berlin ; ▼a New York : ▼b Springer, ▼c c1999. | |
| 300 | ▼a xxi, 450 p. ; ▼c 24 cm. | |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Computer programming. |
| 650 | 0 | ▼a Computer programs. |
| 650 | 4 | ▼a Computer programs. |
| 650 | 4 | ▼a Computer programming. |
| 650 | 6 | ▼a Programmation (Informatique) |
| 650 | 6 | ▼a Logiciels. |
| 700 | 1 | ▼a Nielson, Hanne Riis , ▼d 1954- |
| 700 | 1 | ▼a Hankin, Chris. |
| 938 | ▼a Otto Harrassowitz ▼b HARR ▼n har000742513 ▼c 79.00 DEM |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.1 N669p | 등록번호 121095031 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
목차
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.
정보제공 :
