most citedVST-A: A Foundationally Sound Annotation Verifier

2 citations · 2 across the 2 of their papers we have counts for

collaborators

2 papers

cs.PL2024

Full Iso-recursive Types

Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira

There are two well-known formulations of recursive types: iso-recursive and equi-recursive types. Abadi and Fiore [1996] have shown that iso- and equi-recursive types have the same…

cs.PL2019★ 2 cited

VST-A: A Foundationally Sound Annotation Verifier

Litao Zhou, Jianxing Qin, Qinshi Wang +2

Program verifiers for imperative languages such as C may be annotation-based, in which assertions and invariants are put into source files and then checked, or tactic-based, where…