A dynamic logic for QASM programs

DOI10.1007/978-3-030-38808-9_13zbMATH Open1496.03136OpenAlexW3000687243MaRDI QIDQ777899FDOQ777899

Carlos Tavares

Publication date: 8 July 2020

Full work available at URL: http://repositorio.inesctec.pt/handle/123456789/11786

Recommendations

• DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS
• scientific article
• Propositional dynamic logic with program quantifiers
• A logic for formal verification of quantum programs
• A dynamic logic for unstructured programs with embedded assertions
• The propositional dynamic logic of deterministic, well-structured programs
• Propositional dynamic logic with quantification over regular computation sequences
• scientific article
• Static analysis for logic-based dynamic programs
• scientific article

zbMATH Keywords

quantum logicdynamic logicquantum programming

Mathematics Subject Classification ID

Quantum computation (81P68) Logic in computer science (03B70) Quantum logic (03G12) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (2)

• QASM
• DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS

Uses Software

• openQASM

This page was built for publication: A dynamic logic for QASM programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q777899)