Skip to content

On Program Equivalence with Reductions.

Guillaume Iooss, Christophe Alias, Sanjay V. Rajopadhye

VenueBSAS
Year2014
ProceedingsSAS

Browse the full SAS paper archive.