22 citations · 23 across the 5 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2016
Propositions in Linear Multirole Logic as Multiparty Session Types
Hongwei Xi, Hanwen Wu
We identify multirole logic as a new form of logic and formalize linear multirole logic (LMRL) as a natural generalization of classical linear logic (CLL). Among various meta-prope…
cs.PL2012
A Programmer-Centric Approach to Program Verification in ATS
Zhiqiang Ren, Hongwei Xi
Formal specification is widely employed in the construction of high-quality software. However, there is often a huge gap between formal specification and actual implementation. Whi…