책 이미지
eBook 미리보기
책 정보
· 제목 : Shape Analysis (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9781680837322
· 쪽수 : 172쪽
· 출판일 : 2020-10-05
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9781680837322
· 쪽수 : 172쪽
· 출판일 : 2020-10-05
목차
- 1. Introduction
- 2. Shape Analysis in a Nutshell
- 3. Generic Shape Analysis
- 4. Memory Layout Abstractions
- 5. Extension of Shape Abstractions
- 6. Abstractions Exploiting Shape Analysis Principles
- 7. Conclusion
- References
