Automated Expected Value Analysis of Recursive Programs.

Martin Avanzini Georg Moser Michael Schaper

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

database
domain knowledge
logic programs
range queries
black box
program synthesis