Unifying probability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4010 LNCS, Issue , 2006, Pages 173-199

  Jifeng, He ^a   Sanders, J W ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; DATA PRIVACY; QUANTUM THEORY; RISK ASSESSMENT;

PROBABILISTIC GUARDED-COMMAND LANGUAGE; PROBABILISTIC METHOD; QUANTUM COMPUTATION; UNIFYING THEORIES OF PROGRAMMING;

PROBABILISTIC LOGICS;

EID: 33746075228     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (18)

1. [BB84] C. H. Bennett and G. Brassard. Quantum cryptography: public key distribution and coin tossing. Proc. IEEE Conference on Computers, Systems and Signal processing, Bangalore, pp. 175-179, 1984.
2. [BBR88] C. H. Bennett, G. Brassard and J.-M. Robert. Privacy amplification by public discussion. SIAM Journal of Computing, 17(2):210-229, 1988.
3. [BB92] C. H. Bennett. Quantum cryptography using any two nonorthogonal states. Physical Review Letters, 68(21):3121-3124, 1992.
4. [BH99] M. J. Butler and P. Hartel. Reasoning about Grover's quantum search algorithm using probabilistic wp. ACM Transactions on Programming Languages and Systems, 21(3):417-430, 1999.
5. [G96] L. Grover. A fast quantum mechanical algorithm for database search. Proceedings of 28th ACMSTOC, 212-219, 1996.
6. [G99] J. Gruska. Quantum Computing. McGraw-Hill International (UK), Advanced Topics in Computer Science, 1999.
7. [H92] D. Harel. Algorithmes: The Spirit of Computing, second edition. Addison Wesley, 1992.
8. [HSM97] He, Jifeng, K. Seidel and A. K. Mclver. Probabilistic models for the guarded command language. Science of Computer Programming, 28:171-192, 1997.
9. [H04] E. R. Hehner. Probabilistic predicative programming. Mathematics of Program Construction, Stirling Scotland, LNCS 3125:169-185, Springer-Verlag, 2004.
10. [HH98] C. A. R. Hoare and He, Jifeng. Unifying Theories of Programming. Prentice Hall, 1998.
11. [L61] R. Landauer. Irreversibility and heat generated in the computing process. IBM Journal of Research and Development, 5, 1961.
12. [MM05] A. K. Mclver and C. C. Morgan. Abstraction, Refinement and Proof for Probabilistic Systems. Springer Monographs in Computer Science, 2005.
13. [NC00] M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
14. [SZ00] J. W. Sanders and P. Zuliani. Quantum Programming. Mathematics of Program Construction, 2000, edited by J. N. Oliviera and R. Backhouse, Springer-Verlag LNCS 1837:80-99, 2000.
15. [SZL06] W. J. Stoddart, F. Zeyda and R. Lynas. A design-based model of reversible computation. This proceedings.
16. [WZ82] W. K. Wootters and W. H. Zurek. A single quantum cannot be cloned, Nature, 299(5886) :802-803, 1982.
17. [Z01] P. Zuliani. Logical reversibility. IBM Journal of Research and Development, 45(6):807-818, 2001.
18. [Z05] P. Zuliani. Compiling Quantum Programs. Ada Informatica, 41(7-8): 435-474, 2005.