1. Nesting Structures in Mirrors: Formal Techniques for Parsing and Inferring Visibly Pushdown Grammars Open Access Author: Jia, Xiaodong Title: Nesting Structures in Mirrors: Formal Techniques for Parsing and Inferring Visibly Pushdown Grammars Graduate Program: Computer Science and Engineering Keywords: program analysisgrammarscontext-free grammarsvisibly pushdown grammarsautomata theoryparsingparser generatorformal verificationcoqvisibly pushdown automataparserssoftware verification File: Download Dissertation.pdf Committee Members: Chitaranjan Das, Program Head/ChairG. Tan, Chair & Dissertation AdvisorAbhinav Verma, Major Field MemberDanfeng Zhang, Major Field MemberDinghao Wu, Outside Unit & Field Member
