Abstract | ||
---|---|---|
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously developed denotational semantics of QML. The completeness proof also gives rise to a normalisation algorithm following the normalisation-by-evaluation approach. The current work focuses on the pure fragment of QML, omitting measurements. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1016/j.entcs.2006.12.010 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
quantum programming,complete equational theory,functional quantum programming language,denotational semantics,pure fragment,current work,completeness,normalisation algorithm,normalisation-by-evaluation approach,completeness proof,omitting measurement,normalisation,pure quantum programming,programming language,quantum physics | Denotational semantics of the Actor model,Discrete mathematics,Quantum programming,Normalisation by evaluation,Algebra,Computer science,Denotational semantics,Domain theory,Soundness,Complete partial order,Completeness (statistics) | Journal |
Volume | ISSN | Citations |
170, | Electronic Notes in Theoretical Computer Science | 15 |
PageRank | References | Authors |
0.93 | 7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thorsten Altenkirch | 1 | 668 | 56.85 |
Jonathan Grattage | 2 | 62 | 5.31 |
Juliana K. Vizzotto | 3 | 15 | 0.93 |
Amr Sabry | 4 | 520 | 35.46 |