HOME > 상세정보

상세정보

Principles of program analysis

Principles of program analysis (18회 대출)

자료유형
단행본
개인저자
Nielson, Flemming, 1955- Nielson, Hanne Riis , 1954- Hankin, Chris.
서명 / 저자사항
Principles of program analysis / F. Nielson, Hanne Riis Nielson, Chris Hankin.
발행사항
Berlin ;   New York :   Springer,   c1999.  
형태사항
xxi, 450 p. ; 24 cm.
ISBN
3540654100 (alk. paper)
서지주기
Includes bibliographical references and index.
일반주제명
Computer programming. Computer programs. Computer programs. Computer programming. Programmation (Informatique) Logiciels.
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 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

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.


정보제공 : Aladin

관련분야 신착자료

Anson, Steve (2022)
한국. 행정안전부 (2022)
한국. 행정안전부 (2022)
황기태 (2021)