A Aralex Aachen research explorer

September 10, 2025 conference-paper Open access

Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages

International Symposium on Principles and Practice of Declarative Programming (PPDP)

DOI: 10.1145/3756907.3756908 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 0

References 1

Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning
2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

33

citations

1 result