Proofs of randomized algorithms in Coq
Top Cited Papers
- 1 June 2009
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 74 (8) , 568-589
- https://doi.org/10.1016/j.scico.2007.09.002
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Constructive analysis, types and exact real numbersMathematical Structures in Computer Science, 2007
- Verification of non-functional programs using interpretations in type theoryJournal of Functional Programming, 2003
- Verification of the Miller–Rabin probabilistic primality testThe Journal of Logic and Algebraic Programming, 2003
- A judgmental reconstruction of modal logicMathematical Structures in Computer Science, 2001
- A universal characterization of the closed Euclidean intervalPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2001
- Notions of computation and monadsInformation and Computation, 1991
- Semantics of probabilistic programsJournal of Computer and System Sciences, 1981