Other Publications: LiquidRust: Refinement Types for Imperative Languages with Ownership

[csiky22masterarbeit]

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

Download

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

Authors at the institute

Former Students
Carsten Csiky

Bachelor and Masters theses

LiquidRust: Refinement Types for Imperative Languages with Ownership