Sonstiges: Formally Verified Insertion of Reference Counting Instructions

[huisinga19bachelorarbeit]

Marc Huisinga, Formally Verified Insertion of Reference Counting Instructions, November 2019.

Download

[PDF]

BibTeX

@misc{huisinga19bachelorarbeit,
  title = {Formally Verified Insertion of Reference Counting Instructions},
  year = {2019},
  month = nov,
  author = {Marc Huisinga},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Institutsinterne Autoren

Ehemalige Tutoren
Marc Huisinga

Bachelor- und Masterarbeiten

Formal verifiziertes Einfügen von Referenzzählungsinstruktionen