1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Refinement orders for quantum programs
Yuan Feng, Li Zhou
Refinement is a fundamental technique in the verification and systematic development of computer programs. It supports a disciplined approach to software construction through stepw…
cs.LO2023★ 1 cited
Refinement calculus of quantum programs with projective assertions
Yuan Feng, Li Zhou, Yingte Xu
Refinement calculus provides a structured framework for the progressive and modular development of programs, ensuring their correctness throughout the refinement process. This pape…