Symbolically Computing MostPrecise Abstract Operations for Shape Analysis - PowerPoint PPT Presentation

1 / 20
} ?>
View by Category
About This Presentation
Title:

Symbolically Computing MostPrecise Abstract Operations for Shape Analysis

Description:

Tel Aviv University. University of Wisconsin. TACAS'04. Tel Aviv University. April 2004 ... No bound on the size of run-time data structures ... – PowerPoint PPT presentation

Number of Views:34
Avg rating:3.0/5.0
Slides: 21
Provided by: thoma423
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com