2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2018★ 2 cited
A Verified Timsort C Implementation in Isabelle/HOL
Yu Zhang, Yongwang Zhao, David Sanan
Formal verification of traditional algorithms are of great significance due to their wide application in state-of-the-art software. Timsort is a complicated and hybrid stable sorti…
cs.PL2011★ 2 cited
Program Equivalence in Linear Contexts
Yuxin Deng, Yu Zhang
Program equivalence in linear contexts, where programs are used or executed exactly once, is an important issue in programming languages. However, existing techniques like those ba…