Search Results for 'Pprog'

Pprog published presentations and documents on DocSlides.

Proving Optimizations Correct

by olivia-moreira

using Parameterized Program Equivalence. Universi...