Shape Analysis via 3-Valued Logic - PowerPoint PPT Presentation

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

Shape Analysis via 3-Valued Logic

Description:

Title: Program Analysis via Graph Reachability Author: Thomas Reps Last modified by: sagiv Created Date: 3/24/1998 3:26:02 AM Document presentation format – PowerPoint PPT presentation

Number of Views:128
Avg rating:3.0/5.0
Slides: 94
Provided by: thomas399
Learn more at: http://www.cs.tau.ac.il
Category:
Tags: analysis | jdbc | logic | shape | valued | via

less

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