Search

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 analysis
grammars
context-free grammars
visibly pushdown grammars
automata theory
parsing
parser generator
formal verification
coq
visibly pushdown automata
parsers
software verification

File:

Download Dissertation.pdf

Committee Members:

Chitaranjan Das, Program Head/Chair
G. Tan, Chair & Dissertation Advisor
Abhinav Verma, Major Field Member
Danfeng Zhang, Major Field Member
Dinghao Wu, Outside Unit & Field Member