Towards Synthesis of Code for Calculations Using Their Specifications.

Advaita Datar Amey Zare R. Venkatesh Asia A

Published in: ENASE (2023)

Keyphrases

code generation
source code
control flow
delay insensitive
unit testing
high level
artificial intelligence
multiscale
databases
real world
case study
error correcting