Generating Programs for Polynomial Multiplication with Correctness Assurance.

Ryo Tokuda Yukiyoshi Kameyama

Published in: PEPM@POPL (2023)

Keyphrases

provably correct
real time
generation process
data mining
information systems
feature selection
decision trees
information technology
floating point
computer programs
programming environment
fixpoint
automatic programming
arithmetic operations
concurrent programs