KIT | KIT-Bibliothek | Impressum | Datenschutz

LiquidRust: Refinement Types for Imperative Languages with Ownership

Csiky, Carsten


Volltext §
DOI: 10.5445/IR/1000152005
Veröffentlicht am 08.11.2022
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Hochschulschrift
Publikationsdatum 04.10.2022
Sprache Englisch
Identifikator KITopen-ID: 1000152005
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Verlag Karlsruher Institut für Technologie (KIT)
Umfang XII; 68 S.
Art der Arbeit Abschlussarbeit - Master
Prüfungsdaten 26.10.2022
Referent/Betreuer Beckert, Bernhard
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page