Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Computing Expected Runtimes for Constant Probability Programs   We introduce the class of constant probability (CP) programs and show that
classical results from probability theory directly yield a simple decision
procedure for (positive) almost sure termination of programs in this class.
Moreover, asymptotically tight bounds on their expected runtime can always be
computed easily. Based on this, we present an algorithm to infer the exact
expected runtime of any CP program.

35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
2
The categories of this paper are: math
37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
18
The categories of this paper are: econ