Other Publications: Algorithmik- und logikbasierte Points-to Analysen im Vergleich

[herhoffer12diplomarbeit]

Markus Herhoffer, Algorithmik- und logikbasierte Points-to Analysen im Vergleich, December 2012.

Download

BibTeX

@misc{herhoffer12diplomarbeit,
  title = {Algorithmik- und logikbasierte Points-to Analysen im Vergleich},
  year = {2012},
  month = dec,
  author = {Markus Herhoffer},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Authors at the institute

Former Students
Markus Herhoffer

Bachelor and Masters theses

Comparing Algorithmic and Logic based Points-to Analyses