1 paper · 1 filter
Xiaoxiao Yang
Most existed work require knowledge about the effect of program instructions (or statements) to analyze and verify algorithms. In this paper, by revealing some findings on executio…