Search Results for 'underapproximation'

underapproximation published presentations and documents on DocSlides.

Finding Optimum Abstractions in Parametric Dataflow Analysis

by natalia-silvester

Finding Optimum Abstractions in Parametric Datafl...