Computing Expected Runtimes for Constant Probability Programs.

Jürgen Giesl Peter Giesl Marcel Hark

Published in: CADE (2019)

Keyphrases

probability distribution
computer programs
database
real time
case study
data structure
artificial neural networks
automatic programming
provably correct