Search Results for 'symbolic abstraction'

symbolic abstraction published presentations and documents on DocSlides.

Automating Abstract Interpretation

by ellena-manuel

Thomas Reps. University of Wisconsin and . Gramma...