A dynamic logic for QASM programs

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

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

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

Related Items (1)

QASM

Uses Software

• openQASM

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The propositional dynamic logic of deterministic, well-structured programs 👍 👎
• Propositional dynamic logic with quantification over regular computation sequences 👍 👎
• A Dynamic Logic for Unstructured Programs with Embedded Assertions 👍 👎
• A Logic for Formal Verification of Quantum Programs 👍 👎
• DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS 👍 👎
• Static Analysis for Logic-Based Dynamic Programs 👍 👎
• Propositional Dynamic Logic with Program Quantifiers 👍 👎

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)