Práce na stejné téma (mají shodná klíčová slova):
staticke typovaniKlíčová slova abecedně | Klíčová slova dle četnosti
Statické ověření korektnosti vazeb aplikací třetích stran
(Antonín SLEZÁČEK)2013, Diplomová práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//u2nub0// | Inženýrská informatika / Softwarové inženýrství | Práce na příbuzné téma
Local Type Argument Synthesis for Erlang
(David Pavlík)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/z0fb0/ | Teoretická informatika / Principy programovacích jazyků | Práce na příbuzné téma
Decision Model and Notation (DMN) Transpiler
(Aleš Sedláček)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/d854v/ | Softwarové inženýrství / Návrh a vývoj softwarových systémů | Práce na příbuzné téma