Maude Implementation for Concurrent Quantum Programming Language

Jain, Manisha; Fernandes, Vitor

doi:10.4230/artifacts.23607

Artifact

Maude Implementation for Concurrent Quantum Programming Language Software

Authors Manisha Jain, Vitor Fernandes

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2025-09-17

Document Identifiers

DOI: 10.4230/artifacts.23607
URN: urn:nbn:de:0030-drops-236076

Author Details

Manisha Jain

CIDMA - Research Center in Mathematics and Applications, Portugal and Mathematics Department of University of Aveiro, Portugal

Vitor Fernandes

HasLab INESC TEC, University of Minho, Portugal

Content

Software (Maude implementation): https://github.com/jmanishajain/CQDL
archived version

Version/Status

Content created at: 2025-05-02

Cite As Get BibTex

Manisha Jain, Vitor Fernandes. Maude Implementation for Concurrent Quantum Programming Language (Software, Maude implementation). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.23607

Description

This is an animation in Maude of the syntax and semantics of the programming language.

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail