quant-ph0511145/da.bbl
1: \newcommand{\etalchar}[1]{$^{#1}$}
2: \begin{thebibliography}{RAMK{\etalchar{+}}04}
3: 
4: \bibitem[AB02]{asteroth_baier}
5: Alexander Asteroth and Christel Baier.
6: \newblock {\em Theoretische Informatik}.
7: \newblock Pearson Studium, 2002.
8: 
9: \bibitem[AC04a]{abramsky_categorical}
10: Samson Abramsky and Bob Coecke.
11: \newblock A categorial semantics of quantum protocols.
12: \newblock {\em arXiv:quant-ph/0402130}, pages 1--20, 2004.
13: 
14: \bibitem[AC04b]{1021878}
15: Samson Abramsky and Bob Coecke.
16: \newblock A categorical semantics of quantum protocols.
17: \newblock In {\em LICS '04: Proceedings of the 19th Annual IEEE Symposium on
18:   Logic in Computer Science (LICS'04)}, pages 415--425, Washington, DC, USA,
19:   2004. IEEE Computer Society.
20: 
21: \bibitem[AG81]{achieser_glasmann}
22: N.I. Achieser and I.M. Glasmann.
23: \newblock {\em {Theorie der linearen Operatoren im Hilbert-Raum}}.
24: \newblock Verlag Harri Deutsch, 1981.
25: 
26: \bibitem[AG04]{altenkirch_grattage}
27: T.~Altenkirch and J.~Grattage.
28: \newblock A functional quantum programming language.
29: \newblock {\em arXiv:quant-ph/\(0409065\)}, 2004.
30: 
31: \bibitem[AG05]{altenkirch}
32: Thorsten Altenkirch and Jonathan Grattage.
33: \newblock {QML: Quantum data and control}.
34: \newblock Submitted for publication, Febuary 2005.
35: 
36: \bibitem[Aha98]{aharonov}
37: Dorit Aharonov.
38: \newblock Quantum computation.
39: \newblock {\em arXiv:quant-ph/9812037}, 1998.
40: 
41: \bibitem[AJ94]{abramsky_jung}
42: Samson Abramsky and Achim Jung.
43: \newblock {\em Handbook for Logic in Computer Science}, volume~3, chapter
44:   Domain Theory.
45: \newblock Clarendon Press, Oxford, 1994.
46: 
47: \bibitem[AM05]{adao_mateus}
48: P.~Ad{\~a}o and P.~Mateus.
49: \newblock A process algebra for reasoning about quantum security.
50: \newblock In {\em Electronic Notes in Theoretical Computer Science}. Springer,
51:   2005.
52: \newblock Preliminary version to be presented at 3rd International Workshop on
53:   Quantum Programming Languages.
54: 
55: \bibitem[App04]{appel}
56: Andrew~W. Appel.
57: \newblock {\em Modern Compiler Implementation in ML}.
58: \newblock Cambridge University Press, New York, NY, USA, 2004.
59: 
60: \bibitem[ASU86]{aho_sethi_ullmann}
61: Alfred~V. Aho, Ravi Sethi, and Jeffrey~D. Ullman.
62: \newblock {\em Compilers: principles, techniques, and tools}.
63: \newblock Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1986.
64: 
65: \bibitem[Aul00]{auletta}
66: Gennaro Auletta.
67: \newblock {\em Foundations and Interpretation of Quantum Mechanics}.
68: \newblock World Scientific, 2000.
69: 
70: \bibitem[BSC01]{betelli}
71: S.~Betelli, L.~Serafini, and T.~Calarcoet.
72: \newblock Toward an architecture for quantum programming.
73: \newblock {\em arXiv:cs.pl/\(0103009\)}, 2001.
74: 
75: \bibitem[BW]{butscher_weimer}
76: Bj{\"o}rn Butscher and Hendrik Weimer.
77: \newblock {Simulation eines Quantencomputers}.
78: \newblock Universit{\"a}t Stuttgart.
79: 
80: \bibitem[Car97]{cardelli}
81: Luca Cardelli.
82: \newblock {\em Type Systems}, chapter 103.
83: \newblock Handbook of computer science and engineering. CRC Press, 1997.
84: 
85: \bibitem[Cle99]{cleve}
86: Richard Cleve.
87: \newblock An introduction to quantum complexity theory.
88: \newblock {\em arXiv:quant-ph/9906111}, 1999.
89: 
90: \bibitem[Deu85]{deutsch85quantum}
91: David Deutsch.
92: \newblock Quantum theory, the {C}hurch-{T}uring principle and the universal
93:   quantum computer.
94: \newblock {\em Proceedings of the Royal Society of London Ser.~A},
95:   A400:97--117, 1985.
96: 
97: \bibitem[dH02]{hartog}
98: J.~den Hartog.
99: \newblock {\em Probabilistic extension of semantical models}.
100: \newblock PhD thesis, Vrije Universiteit Amsterdam, 2002.
101: 
102: \bibitem[DJ92]{deutsch_josza}
103: David Deutsch and Richard Jozsa.
104: \newblock Rapid solutions of problems by quantum computation.
105: \newblock {\em Proceedings of the Royal Society of London}, pages 553-- 558,
106:   1992.
107: 
108: \bibitem[DS63]{dunford_schwartz}
109: Nelson Dunford and Jacob~T. Schwartz.
110: \newblock {\em Linear Operators}.
111: \newblock Interscience Publishers, 1963.
112: 
113: \bibitem[GA05]{grattage}
114: Jonathan Grattage and Thorsten Altenkirch.
115: \newblock A compiler for a functional quantum programming language.
116: \newblock submitted for publication, January 2005.
117: 
118: \bibitem[GBJL02]{modern_compiler}
119: Dick Grune, Henri~E. Bal, Ceriel J.~H. Jacobs, and Koen Langendoen.
120: \newblock {\em Modern Compiler Design}.
121: \newblock John Wiley, 2002.
122: 
123: \bibitem[GN04]{gay}
124: S.J. Gay and R.~Nagarajan.
125: \newblock Communicating quantum processes.
126: \newblock {\em Proceedings of the conference for quantum programming
127:   languages}, pages \(91\)--\(107\), 2004.
128: 
129: \bibitem[GN05]{gay_nagarajan}
130: Simon~J. Gay and Rajagopal Nagarajan.
131: \newblock Communicating quantum processes.
132: \newblock In {\em POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT
133:   sysposium on Principles of programming languages}, pages 145--157, New York,
134:   NY, USA, 2005. ACM Press.
135: 
136: \bibitem[Gro96]{grover}
137: Lov~K. Grover.
138: \newblock A fast quantum mechanical algorithm for database search.
139: \newblock {\em Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory
140:   of Computing}, pages 212--219, 1996.
141: 
142: \bibitem[Gru99]{gruska}
143: Jozef Gruska.
144: \newblock {\em Quantum Computing}.
145: \newblock McGraw--Hill International, 1999.
146: 
147: \bibitem[GS90]{gunther_scott}
148: C.A. Gunther and D.S. Scott.
149: \newblock {\em Semantic Domains}, chapter~12, pages 635--674.
150: \newblock Elsevier Science Publishers, 1990.
151: 
152: \bibitem[Hol82]{holevo}
153: Alexander~S. Holevo.
154: \newblock {\em Probabilistic and Statistical Aspects of Quantum Theory},
155:   volume~1 of {\em North-Holland series in statistics and probability}.
156: \newblock North-Holland, Amsterdam, 1982.
157: \newblock First publ.\ in Russian in 1980.
158: 
159: \bibitem[JL04]{jorrand_lalire}
160: Philippe Jorrand and Marie Lalire.
161: \newblock Toward a quantum process algebra.
162: \newblock In {\em CF'04: Proceedings of the first conference on computing
163:   frontiers}, pages 111--119, New York, NY, USA, 2004. ACM Press.
164: 
165: \bibitem[Key02]{keyl}
166: Michael Keyl.
167: \newblock Fundamentals of quantum information theory.
168: \newblock {\em arXiv:quant-ph/\(0202122\)}, 369(5):431--548, 2002.
169: 
170: \bibitem[KN00]{knill_nielsen}
171: E.H. Knill and M.A. Nielsen.
172: \newblock {\em Encyclopedia of Mathematics, Supplement III}, chapter Theory of
173:   quantum computation.
174: \newblock {Kluwer Academic Publishers}, 2000.
175: 
176: \bibitem[Kni96]{knill}
177: E.~Knill.
178: \newblock Conventions for quantum pseudocode.
179: \newblock {\em Technical Report LAUR-\(96\)-\(2724\)}, 1996.
180: 
181: \bibitem[Knu98]{knuth}
182: Donald~E. Knuth.
183: \newblock {\em Art of Computer Programming, Volume 3: Sorting and Searching
184:   (2nd Edition)}.
185: \newblock {Addison-Wesley Professional}, April 1998.
186: 
187: \bibitem[Kra83]{kraus}
188: Karl Kraus.
189: \newblock {\em States, Effects and Operations}.
190: \newblock Fundamental Notions of Quantum Theory. Academic Press, Berlin, 1983.
191: 
192: \bibitem[Lou03]{louden}
193: Kenneth~C. Louden.
194: \newblock {\em Programming Languages: Principles and Practice}.
195: \newblock Thomson, Pacific Grove, second edition, 2003.
196: 
197: \bibitem[L{\"o}w34]{loewner}
198: K.~L{\"o}wner.
199: \newblock {\"Uber monotone Matrixfunktionen}.
200: \newblock {\em Mathematische Zeitschrift}, 38:\(177\)--\(216\), 1934.
201: 
202: \bibitem[MB01]{mu_bird}
203: S-C. Mu and R.~S. Bird.
204: \newblock Quantum functional programming.
205: \newblock {\em 2nd Asian Workshop on Programming Languages and Systems}, 2001.
206: 
207: \bibitem[Mer98]{merzbacher}
208: Eugen Merzbacher.
209: \newblock {\em Quantum Mechanics}.
210: \newblock Wiley, John \& Sons, 3 edition, 1998.
211: 
212: \bibitem[Mos90]{mosses}
213: Peter~D. Mosses.
214: \newblock {\em Denotational semantics}, chapter~11, pages 577--629.
215: \newblock Elsevier scientific publishers, 1990.
216: 
217: \bibitem[NC00]{nielsen_chuang}
218: Michael~L. Nielsen and Isaac~L. Chuang.
219: \newblock {\em Quantum computation and quantum information}.
220: \newblock Cambridge University Press, New York, NY, USA, 2000.
221: 
222: \bibitem[NPW05]{nagarajan_compiler}
223: Rajagopal Nagarajan, Nikolaos Papanikolaou, and David Williams.
224: \newblock Simulating and compiling code for the sequential quantum random
225:   access machine.
226: \newblock In Selinger \cite{qpl2005}.
227: 
228: \bibitem[{\"O}me98]{oemer_msc}
229: Bernhard {\"O}mer.
230: \newblock A procedural formalism for quantum computing.
231: \newblock Master's thesis, TU Vienna, 1998.
232: 
233: \bibitem[{\"O}me00]{oemer_msc_cs}
234: Bernhard {\"O}mer.
235: \newblock {Quantum Programming in QCL}.
236: \newblock Master's thesis, TU Vienna, 2000.
237: 
238: \bibitem[{\"O}me03]{oemer_phd}
239: Bernhard {\"O}mer.
240: \newblock {\em Structured quantum programming}.
241: \newblock PhD thesis, TU Vienna, 2003.
242: 
243: \bibitem[Pre99]{preskill}
244: John Preskill.
245: \newblock Lecture notes for the course quantum computation (physics 229).
246: \newblock www.theory.caltech.edu/people/preskill/ph229, 1999.
247: 
248: \bibitem[RAMK{\etalchar{+}}04]{fraunhofer}
249: Helge Ros{\'e}, Torsten Asselmeyer-Maluga, Matthias Kolbe, Falk Niehoerster,
250:   and Andreas Schramm.
251: \newblock The fraunhofer quantum computing portal.
252: \newblock {\em arXiv:quant-ph/0406089}, 2004.
253: 
254: \bibitem[Rey98]{reynolds}
255: John~C. Reynolds.
256: \newblock {\em Theories of programming languages}.
257: \newblock Cambridge University Press, 1998.
258: 
259: \bibitem[RP02]{rechenberg_pomberger}
260: Peter Rechenberg and Gustav Pomberger.
261: \newblock {\em Informatik-Handbuch}.
262: \newblock Hanser Fachbuch, 2002.
263: 
264: \bibitem[Sak94]{sakurai}
265: Jun~John Sakurai.
266: \newblock {\em Modern Quantum Mechanics}.
267: \newblock Addison-Wesley, 1994.
268: 
269: \bibitem[Sch24]{schoenfinkel}
270: Moses Sch{\"o}nfinkel.
271: \newblock {{\"U}ber die Bausteine mathematischer Logik}.
272: \newblock {\em Math. Ann. 92}, pages \(305\)--\(316\), 1924.
273: 
274: \bibitem[Sch01]{schoening}
275: Uwe Sch{\"o}ning.
276: \newblock {\em Theoretische Informatik - kurzgefasst}.
277: \newblock Spektrum, Akad. Verl., 4 edition, 2001.
278: 
279: \bibitem[Sch04]{schroeder}
280: Andreas Schroeder.
281: \newblock {Quantenflussdiagramme und die Quantenprogrammiersprache QPL}.
282: \newblock Seminar der Lehr- und Forschungseinheit f\"ur theoretische
283:   Informatik, LMU M\"unchen, 2004.
284: 
285: \bibitem[Sel04a]{selinger_survey}
286: Peter Selinger.
287: \newblock A brief survey of quantum programming languages.
288: \newblock In {\em Lecture Notes in Computer Science 2998}. Springer, 2004.
289: 
290: \bibitem[Sel04b]{selinger_qpl}
291: Peter Selinger.
292: \newblock Towards a quantum programming language.
293: \newblock {\em Mathematical. Structures in Comp. Sci.}, 14(4):527--586, 2004.
294: 
295: \bibitem[Sel05]{qpl2005}
296: Peter Selinger.
297: \newblock Proceedings of the 3rd international workshop on quantum programming
298:   languages.
299: \newblock In Peter Selinger, editor, {\em Proceedings of the 3rd International
300:   Workshop on Quantum Programming Languages}, Electronic Notes in Theoretical
301:   Computer Science. Elsevier Science, 2005.
302: 
303: \bibitem[SF96]{sedgewick}
304: Robert Sedgewick and Philippe Flajolet.
305: \newblock {\em An Introduction to the Analysis of Algorithms}.
306: \newblock Addison-Wesley, 1996.
307: 
308: \bibitem[Sho94]{shor94algorithms}
309: Peter~W. Shor.
310: \newblock Algorithms for quantum computation: Discrete logarithms and
311:   factoring.
312: \newblock {\em {IEEE} Symposium on Foundations of Computer Science}, pages
313:   124--134, 1994.
314: 
315: \bibitem[SP00]{sanders_zuliani}
316: J.W. Sanders and P.Zuliani.
317: \newblock Quantum programming.
318: \newblock {\em Lecture notes in computer science}, 1837, 2000.
319: 
320: \bibitem[Sto87]{stoy}
321: Joseph~E. Stoy.
322: \newblock {\em Denotational semantics}.
323: \newblock MIT Press, 4 edition, 1987.
324: 
325: \bibitem[Str00]{strachey}
326: Christopher Strachey.
327: \newblock Fundamental concepts in programming languages.
328: \newblock {\em Higher Order Symbol. Comput.}, 13(1-2):11--49, 2000.
329: 
330: \bibitem[vT04]{tonder}
331: Andre van Tonder.
332: \newblock A lambda calculus for quantum computation.
333: \newblock {\em SIAM Journal on Computing}, 33:\(1109\)--\(1135\), 2004.
334: 
335: \bibitem[Wei00]{weidmann}
336: Joachim Weidmann.
337: \newblock {\em {Lineare Operatoren in Hilbertr\"aumen}}, volume~1.
338: \newblock B.G. Teubner, 2000.
339: 
340: \bibitem[WF94]{wright_felleisen}
341: Andrew~K. Wright and Matthias Felleisen.
342: \newblock A syntactic approach to type soundness.
343: \newblock {\em Information and Computation}, 1994.
344: 
345: \bibitem[{Wik}05]{wikipedia}
346: {Wikipedia community}.
347: \newblock Wikipedia online dictionary, \texttt{www.wikipedia.net}, 2005.
348: 
349: \bibitem[Win93]{winskel}
350: Glynn Winskel.
351: \newblock {\em The formal semantics of programming languages: an introduction}.
352: \newblock MIT Press, Cambridge, MA, USA, 1993.
353: 
354: \bibitem[WM95]{wilhelm_maurer}
355: Reinhard Wilhelm and Dieter Maurer.
356: \newblock {\em Compiler Design}.
357: \newblock Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, USA,
358:   1995.
359: 
360: \end{thebibliography}
361: