Sciweavers

10666 search results - page 163 / 2134
» Quantum programming languages
Sort
View
ICALP
2009
Springer
15 years 5 months ago
Semilinear Program Feasibility
Manuel Bodirsky, Peter Jonsson, Timo von Oertzen
FSTTCS
2010
Springer
15 years 10 days ago
Lower bounds for Quantum Oblivious Transfer
Oblivious transfer is a fundamental primitive in cryptography. While perfect information theoretic security is impossible, quantum oblivious transfer protocols can limit the disho...
André Chailloux, Iordanis Kerenidis, Jamie ...
POPL
2008
ACM
16 years 2 months ago
Separation logic, abstraction and inheritance
Matthew J. Parkinson, Gavin M. Bierman