Distilling Programs to Prove Termination.

Geoff W. Hamilton

Published in: VPT/HCVS@ETAPS (2020)

Keyphrases

computer programs
automatic programming
database
data sets
artificial intelligence
database systems
neural network
optimal solution
relational databases
programming language