کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
423717 | 685278 | 2007 | 20 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Quantum Programs With Classical Output Streams: (Extended Abstract)
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We show how to model the semantics of quantum programs that give classical output during their execution. That is, in our model even non-terminating programs may have output. The modelling interprets a program as a measurement process on the machines state, with the classical output as measurement result. The semantics presented here are fully abstract in the sense that two programs are equal in semantics if and only if they give the same outputs in any composition.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 170, 6 March 2007, Pages 165-184
Journal: Electronic Notes in Theoretical Computer Science - Volume 170, 6 March 2007, Pages 165-184