1. Interval Parsing Grammar For File Format Specification Open Access Author: Zhang, Jialun Title: Interval Parsing Grammar For File Format Specification Graduate Program: Computer Science and Engineering Keywords: file formatparsing languageattribute grammarparser generator File: Download Interval_Parsing_Grammar_For_File_Format_Specification.pdf Committee Members: Gang Tan, Thesis Advisor/Co-AdvisorDanfeng Zhang, Committee MemberChitaranjan Das, Program Head/Chair
2. 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
