See this document in CiteSeerX!

Toward An Architecture For Quantum Programming (2003)  (Make Corrections)  (6 citations)
S. Bettelli, T. Calarco, L. Serafini



  Home/Search   Context   Related

 
View or download:
sra.itc.it/people/ser...epjdedited.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  sra.itc.it/people/...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: It is becoming increasingly clear that, if a useful device for quantum computation will ever be built, it will be embodied by a classical computing machine with control over a truly quantum subsystem, this apparatus performing a mixture of classical and quantum computation. This paper investigates a possible approach to the problem of programming such machines: a template high level quantum language is presented which complements a generic general purpose classical language with a set of... (Update)

Cited by:   More
Toward Intelligent Agents on Quantum Computers - Klusch (2004)   (Correct)
Synthesis of Reversible Logic Circuits - Vivek Shende Aditya (2003)   (Correct)
Reversible Logic Circuit Synthesis - Vivek Shende Aditya (2002)   (Correct)

Similar documents (at the sentence level):
57.5%:   Toward an Architecture for Quantum Programming - Bettelli, Calarco, Serafini (2001)   (Correct)

Active bibliography (related documents):   More   All
0.2:   Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, ... - Dershowitz, Kaplan, al. (1989)   (Correct)
0.2:   Self-Stabilizing l-Exclusion - Abraham, Dolev, Herman, Koll (1997)   (Correct)
0.2:   Shor's Discrete Logarithm Quantum Algorithm for Elliptic Curves - Proos, Zalka (2003)   (Correct)

Similar documents based on text:   More   All
0.4:   Emergence of Fermi-Dirac thermalization in the quantum computer .. - Benenti, al. (2001)   (Correct)
0.4:   Eur. Phys. J. D 14, 119--125 (2001) - The European Physical   (Correct)
0.3:   Eur. Phys. J. D 9, 445--450 (1999) - The European Physical   (Correct)

Related documents from co-citation:   More   All
5:   Elementary gates for quantum computation - Adriano, Bennett et al. - 1995
5:   Quantum Computation and Quantum Information (context) - Nielsen, Huang - 2000
4:   ROM-based computation: Quantum Versus Classical (context) - Travaglione, Nielsen et al. - 2001

BibTeX entry:   (Update)

S. Bettelli, T. Calarco, and L. Serafini. Toward an architecture for quantum programming. Eur. Phys. J., 25:181--200, 2003. http://citeseer.ist.psu.edu/bettelli03toward.html   More

@misc{ bettelli03toward,
  author = "S. Bettelli and T. Calarco and L. Serafini",
  title = "Toward an architecture for quantum programming",
  text = "S. Bettelli, T. Calarco, and L. Serafini. Toward an architecture for quantum
    programming. Eur. Phys. J., 25:181--200, 2003.",
  year = "2003",
  url = "citeseer.ist.psu.edu/bettelli03toward.html" }
Citations (may not include all citations):
1002   Programming Language (context) - Stroustrup - 1997
167   Quantum Computation and Quantum Information (context) - Nielsen, Chuang - 2000  ACM
21   An Approximate Fourier Transform Useful in Quantum Factoring (context) - Coppersmith - 1994
6   Conventions for Quantum Pseudocode - Knill
6   of the 34th IEEE Symposium on Foundations of Computer Scienc.. (context) - Yao - 1993
5   of the 28th Annual ACM Symposium on the Theory of Computing (context) - Grover - 1996
4   computer science (context) - Omer, thesis - 2000  ACM
4   of the 25th ACM Symposium on the Theory of Computation (context) - Bernstein, Vazirani - 1993
4   Addition on a Quantum Computer (context) - Draper
3   Theory of quantum computation (context) - Knill, Nielsen - 2001
1   quant-ph (context) - Cleve, Ekert et al. - 1998
1   also as TR-11-00 (context) - Zuliani, Res - 2001
1   also as (context) - Shor, Comp - 1997
1   theoretical physics (context) - Omer, thesis - 1998
1   quant-ph (context) - Nielsen, Chuang et al. - 1997
1   quant-ph (context) - Barenco, Bennett et al. - 1995
1   also as TR-5-99 (context) - Sanders, Zuliani et al. - 1999



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://sra.itc.it/people/serafini/publications.html):   More
Updating Mental States from Communication - Dragoni, Giorgini, Serafini (2000)   (Correct)
C-OWL: Contextualizing ontologies - Bouquet, Giunchiglia, van Harmelen, .. (2003)   (Correct)
Local Relational Model: A Logical Formalization Of Database . . . - Serafini, al. (2003)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC