Detta dokument introducerar QWire ("kör"), ett språk för att definiera kvantkretsar och ett gränssnitt för att manipulera dem inuti ett godtyckligt klassiskt värdspråk. QWire är minimal-det innehåller bara några primitiva-och ljud med avseende på de fysiska egenskaper som kvantmekaniken medför. Samtidigt är QWire uttrycksfull och mycket modulär på grund av sitt förhållande till värdspråket, vilket speglar QRAM-modellen för beräkning som placerar en kvantdator (kontrollerad av kretsar) vid sidan av en klassisk dator (kontrollerad av värdspråket). Vi presenterar QWire tillsammans med dess typsystem och operativa semantik, som vi visar är säker och starkt normalisera när värdspråket är. Vi ger kretsar en denotationell semantik när det gäller densitetsmatriser. Hela tiden undersöker vi exempel som visar den expressiva kraften i QWire, inklusive tillägg till värdspråket som (1) exponerar en allmän analysram för kretsar, och (2) ger beroende typer.
Qwire REF är ett språk för att beskriva kvantkretsar.
QWIRE: a core language for quantum circuits
{'venue': 'POPL 2017', 'journal': None, 'mag_field_of_study': ['Computer Science']}