WQS 2024 - Workshop on Quantum Software 2024 - PLDI 2024

Learning how to program quantum computers is the next critical skill for developers. Despite this, current quantum programming tools are still at an early stage of the development process, which limits the possibility of creating real complex quantum software systems. The most urgent need for quantum software today is a systematic and unifying approach to quantum programming, with the following main objectives: the high-level definition of programming languages via a machine-independent specification of their syntax and semantics; a structured methodology for translating high-level p ...