Generating Programs for Polynomial Multiplication with Correctness Assurance.

Ryo Tokuda, Yukiyoshi Kameyama

Browse the full PEPM paper archive.