Get the latest tech news
Our quantum assembly parser got updated to the QASM 3.0 spec
The unique features of the hybrid quantum-classical computing model implied by the specification of OpenQASM 3.0 motivate new approaches to quantum program verification. We implement a typed QASM 3.0 parser in TypeScript to enable implementations of verification and validation software, compilers and more. We also propose that a formal treatment of OpenQASM 3.0's type system in type theory notation may further facilitate formal verification. We highlight advancements in hybrid quantum-classical computing since the Quantum Hoare Logic to this end.
View a PDF of the paper titled Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0, by Sean Kim and 1 other authors View PDFHTML (experimental) Abstract:The unique features of the hybrid quantum-classical computing model implied by the specification of OpenQASM 3.0 motivate new approaches to quantum program verification. We highlight advancements in hybrid quantum-classical computing since the Quantum Hoare Logic to this end.
Or read this on Hacker News