Automatic Numeric Abstractions for Heap-Manipulating Programs

Namesort iconValue
AuthorStephen Magill
Creation DateThu Jun 4 16:49:06 2009
CreatorApple Keynote 4.0.4
Encryptedno
File size496846 bytes
MIME typeapplication/pdf
Modify DateThu Jun 4 16:49:06 2009
Optimizedno
Page size720 x 540 pts
Pages54
PDF version1.3
ProducerMac OS X 10.5.7 Quartz PDFContext
Size485.2 KB
Taggedno
TitleFrom Heap Programs to Numeric Programs