Sonstiges: LiquidRust: Refinement Types for Imperative Languages with Ownership

[csiky22masterarbeit]

Carsten Csiky, LiquidRust: Refinement Types for Imperative Languages with Ownership, October 2022.

Download

[PDF]

BibTeX

@misc{csiky22masterarbeit,
  title = {LiquidRust: Refinement Types for Imperative Languages with Ownership},
  year = {2022},
  month = oct,
  author = {Carsten Csiky},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {KASTEL},
}

Institutsinterne Autoren

Ehemalige Studenten
Carsten Csiky

Bachelor- und Masterarbeiten

LiquidRust: Refinement Types für Rust