Automatic Numeric Abstractions for Heap-Manipulating Programs
Name | Value |
---|---|
Author | Stephen Magill |
Creation Date | Thu Jun 4 16:49:06 2009 |
Creator | Apple Keynote 4.0.4 |
Encrypted | no |
File size | 496846 bytes |
MIME type | application/pdf |
Modify Date | Thu Jun 4 16:49:06 2009 |
Optimized | no |
Page size | 720 x 540 pts |
Pages | 54 |
PDF version | 1.3 |
Producer | Mac OS X 10.5.7 Quartz PDFContext |
Size | 485.2 KB |
Tagged | no |
Title | From Heap Programs to Numeric Programs |