An operational model is developed that incorporates a history track for the quantum programming language QML, considering classical and quantum data, and omitting measurements, that can be explicitly and naturally applied from the proposed rules.
We developed an operational model that incorporates a history track for the quantum programming language QML, considering classical and quantum data, and omitting measurements. With the history, the reversibility can be explicitly and naturally applied from the proposed rules. The language is worked first with classical data and extrapolated to quantum data.