Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

76

POPL
2010
ACM

176views Programming Languages» more POPL 2010»

Automatic Numeric Abstractions for Heap-Manipulating Programs

16 years 8 days ago

Automatic Numeric Abstractions for Heap-Manipulating Programs

Download www.cs.cmu.edu

Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Ku

Real-time Traffic

Automatic Numeric Abstractions | POPL 2010 | Programming Languages |

claim paper

Related Content

» Verifying HeapManipulating Programs with Unknown Procedure Calls

» Automatic Modular Abstractions for Template Numerical Constraints

» Automatic Abstraction for Intervals Using Boolean Formulae

» Automatically Proving Concurrent Programs Correct

» Operator Language A Program Generation Framework for Fast Kernels

» KOJAK A Tool Set for Automatic Performance Analysis of Parallel Programs

» Automatic Code Generation for a Convection Scheme

» Abstracting and Verifying StrategyProofness for Auction Mechanisms

» Abstractionguided synthesis of synchronization

Post Info
More Details (n/a)

Added	01 Mar 2010
Updated	02 Mar 2010
Type	Conference
Year	2010
Where	POPL
Authors	Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay

Comments (0)