A dynamic logic for QASM programs

DOI10.1007/978-3-030-38808-9_13MaRDI QIDQ777899zbMATH OpenOpenAlexFDO

Authors Carlos Tavares

Publication date 8 July 2020

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

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)

Recommendations

• DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS
• scientific article; zbMATH DE number 4101151
• 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; zbMATH DE number 4088902
• Static analysis for logic-based dynamic programs
• scientific article; zbMATH DE number 107898

Cited in

(2)

• QASM
• DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS

Describes a project that uses

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)