Contributions to Mechanical Proofs of Correctness for Compiler Front-Ends

Dissertation

Parsing Tables

• Canonical Collection
• LR(0) items
• Parsing tables