Formal Verification of Top-Down Parser Interpreters

Lasser, Sam.

2022

Description
  • Thesis (Ph.D.)--Tufts University, 2022.

    Submitted to the Dept. of Computer Science.

    Advisor: Kathleen Fisher.

    Committee: Chris Casinghino, Jeffrey Foster, Norman Ramsey, and Josephine Wolff.

    Keyword: Computer science.
This object is in collection Creator department Thesis Type Genre Permanent URL Contributors
ID:
kw52jp398
To Cite:
TARC Citation Guide    EndNote