A novel approach to verifying context free properties of programs

Nan Zhang 0001, Zhenhua Duan, Cong Tian, Hongwei Du 0001. A novel approach to verifying context free properties of programs. Theoretical Computer Science, 809:519-530, 2020. [doi]

Abstract

Abstract is missing.