Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka +1
Quantum Separation Logic (QSL) has been proposed as an effective tool to improve the scalability of deductive reasoning for quantum programs. In QSL, separation is interpreted as d…
cs.PL2025
An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
Felix Stutz, Emanuele D'Osualdo
We propose the Automata-based Multiparty Protocols framework (AMP) for top-down protocol development. The framework features a new very general formalism for global protocol specif…