A probabilistic analysis of loop programs
References (16)
- et al.
The equivalence problem and correctness formulas for a simple class of programs
Inform. Control
(1985) - et al.
On simple programs with primitive conditional statements
Inform. Control
(1985) - et al.
On the programs-as-formulas interpretation of parallel programs in Peano arithmetic
Ann. Pure Appl. Logic
(1988) - et al.
A measure of logical complexity of programs
Comput. Lang.
(1982) A measure of program complexity
Comput. Lang.
(1984)- et al.
The complexity of loop programs
- et al.
Theory of Computation
(1974) Theory of Recursive Functions and Effective Computability
(1967)
There are more references available in the full text version of this article.
Cited by (2)
On the stochastic complexity of loops in rule-based expert systems
1992, Information SciencesStochastic performance measures for rule-based expert systems
1992, Information Sciences
Copyright © 1989 Published by Elsevier Ltd.