DSLs, Annotations, and Dynamic Instrumentation: Specifying the Memory Layout of a Memory Manager to Detect Bugs with Typestate

Cronburg, Karl.

2021

open in viewer
Description
  • Thesis (Ph.D.)--Tufts University, 2021.

    Submitted to the Dept. of Computer Science.

    Advisor: Samuel Guyer.

    Committee: Kathleen Fisher, Alva Couch, Mark Hempstead, and Harry Xu.

    Keyword: Computer science.
This object is in collection Creator department Thesis Type Subject Genre Permanent URL
ID:
t435gt25b
To Cite:
TARC Citation Guide    EndNote
Usage:
Detailed Rights