Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0

TypeScript OpenQASM Submitted 30 July 2025Published 17 September 2025
Review

Editor: @danielskatz (all papers)
Reviewers: @HectorMozo3110 (all reviews), @apizzuto (all reviews), @Abinashbunty (all reviews)

Authors

Sean Kim[ (0009-0006-1223-1895), Marcus Edwards[ (0000-0001-6591-9585)

Citation

Kim[ et al., (2025). Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0. Journal of Open Source Software, 10(113), 8696, https://doi.org/10.21105/joss.08696

@article{Kim[2025, doi = {10.21105/joss.08696}, url = {https://doi.org/10.21105/joss.08696}, year = {2025}, publisher = {The Open Journal}, volume = {10}, number = {113}, pages = {8696}, author = {Kim[, Sean and Edwards[, Marcus}, title = {Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0}, journal = {Journal of Open Source Software} }
Copy citation string · Copy BibTeX  
Tags

Quantum computing Compiling

Altmetrics
Markdown badge

 

License

Authors of JOSS papers retain copyright.

This work is licensed under a Creative Commons Attribution 4.0 International License.

Creative Commons License

Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066