Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics.

Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan

Browse the full SETTA paper archive.