×

Found 18 Documents (Results 1–18)

Formal meta-level analysis framework for quantum programming languages. (English) Zbl 1433.68078

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 185-201 (2018).
PDFBibTeX XMLCite
Full Text: DOI

FJQuantum. A quantum object oriented language. (English) Zbl 1364.68127

Vizzotto, Juliana K. (ed.), Proceedings of the 3rd workshop-school on theoretical computer science, Porto Alegre, Brazil, October 14–16, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 324, 67-77 (2016).
MSC:  68N15 81P68
PDFBibTeX XMLCite
Full Text: DOI

Quantum data and control made easier. (English) Zbl 1279.68035

Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 85-105 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Quantum programming with mixed states. (English) Zbl 1277.68061

Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 185-199 (2007).
MSC:  68N30 81P68 68N15
PDFBibTeX XMLCite
Full Text: DOI

Quantum patterns and types for entanglement and separability. (English) Zbl 1277.68066

Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 125-138 (2007).
MSC:  68P05 68N15 81P68
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software