책 이미지
eBook 미리보기
책 정보
· 제목 : Path-Oriented Program Analysis (Hardcover)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9780521882866
· 쪽수 : 196쪽
· 출판일 : 2007-12-24
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9780521882866
· 쪽수 : 196쪽
· 출판일 : 2007-12-24
목차
1. Introduction; 2. State constraints; 3. Subprogram simplification; 4. Program set; 5. Pathwise decomposition; 6. Tautological constraints; 7. Program recomposition; 8. Discussion; 9. Automatic generation of symbolic traces; Appendix.
