Nan Zhang 0001, Zhenhua Duan, Cong Tian, Hongwei Du. A Novel Approach to Verifying Context Free Properties of Programs. In ShaoJie Tang, Ding-Zhu Du, David L. Woodruff, Sergiy Butenko, editors, Algorithmic Aspects in Information and Management - 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, Proceedings. Volume 11343 of Lecture Notes in Computer Science, pages 74-87, Springer, 2018. [doi]
Abstract is missing.