Generating Programs for Polynomial Multiplication with Correctness Assurance - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ryo Tokuda, Yukiyoshi Kameyama. Generating Programs for Polynomial Multiplication with Correctness Assurance. In Edwin C. Brady, Jens Palsberg, editors, Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023. pages 27-40, ACM, 2023. [doi]

This author has not been identified. Look up 'Ryo Tokuda' in GoogleThis author has not been identified. Look up 'Yukiyoshi Kameyama' in Google

runs on WebDSL