Search Results for 'pprog'

pprog published presentations and documents on DocSlides.

Proving Optimizations Correct

by olivia-moreira

using Parameterized Program Equivalence. Universi...