Synchronized Pushdown Systems for Pointer and Data-Flow Analysis

Späth, Johannes

Synchronized Pushdown Systems for Pointer and Data-Flow Analysis (bibtex)

@PhdThesis{phdSpaeth,
  author =   {Johannes Sp\"ath},
  title =    {Synchronized Pushdown Systems for Pointer and Data-Flow Analysis},
  school =   {Universit\"at Paderborn},
  year =   2019,
  month =    jan,
  awarded = {Summa cum laude, UPB Doctoral Dissertation Award, Ernst Denert Software-Engineering Award and  Fraunhofer IuK Dissertation Award},
 url = {https://www.bodden.de/pubs/phdSpaeth.pdf},
}