Sonstiges: Algorithmik- und logikbasierte Points-to Analysen im Vergleich

[herhoffer12diplomarbeit]

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

Download

[PDF]

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},
}

Institutsinterne Autoren

Ehemalige Studenten
Markus Herhoffer

Bachelor- und Masterarbeiten

Algorithmik- und logikbasierte Points-to Analysen im Vergleich