Login / Signup
On Probabilistic Termination of Functional Programs with Continuous Distributions.
Raven Beutner
Luke Ong
Published in:
CoRR (2021)
Keyphrases
</>
functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
bayesian networks
probabilistic model
stochastic grammar
databases
probability distribution
rough sets
data structure
software engineering
logic programming
random variables