2 citations · 3 across the 5 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2025
Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
Marcus Edwards
We implement a compile toolchain from Q# to QASM 3.0 including a full-featured lexer and parser implementation, as well as a compiler that supports a subset of Q# features. The lex…
cs.PL2024★ 2 cited
Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
Sean Kim, Marcus Edwards
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 impleme…
cs.PL2023★ 1 cited
Three Quantum Programming Language Parser Implementations for the Web
Marcus Edwards
IBM has developed a quantum assembly (QASM) language particular to gate model quantum computing since 2017 [CBSG17]. Version 3.0 which adds timing, pulse control, and gate modifier…