Author:
Audebaud Philippe,Paulin-Mohring Christine
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Ramsey, N., Pfeffer, A.: Stochastic lambda calculus and monads of probability distributions. In: Conf. Record of 29th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 2002, pp. 154–165. ACM Press, New York (2002)
2. The Coq Development Team: The Coq Proof Assistant Reference Manual – Version V8.0 (2004),
http://coq.inria.fr
3. Kozen, D.: Semantics of probabilistic programs. J. of Comput. and Syst. Sci. 22(3), 328–350 (1981)
4. Kozen, D.: A probabilistic PDL. In: Proc. of 15th Ann. ACM Symp. on Theory of Computing, STOC 1983, pp. 291–297. ACM Press, New York (1983)
5. Morgan, C., McIver, A.: pGCL: formal reasoning for random algorithms. South African Computer J. (1999)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献