1
Published 2006
Table of Contents: ... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... in Regular and Irregular Graph Classes -- How to Complete a Doubling Metric -- Sorting and Selection...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
View full text
Electronic eBook