Original title: Linter pro C++ využívající lineární typy
Translated title: C++ linter based on linear types
Authors: Beneš, Jiří ; Kratochvíl, Miroslav (advisor) ; Šefl, Vít (referee)
Document type: Bachelor's theses
Year: 2020
Language: eng
Abstract: [eng] [cze]

Keywords: C++; linear types; static analysis; type systems; C++; lineární typy; statická analýza; typové systémy

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/120939

Permalink: http://www.nusl.cz/ntk/nusl-434884


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Bachelor's theses
 Record created 2021-02-24, last modified 2022-03-04


No fulltext
  • Export as DC, NUŠL, RIS
  • Share