Bakalářské práce
Interpreter podmnožiny Prologu pomocí Warren Abstract Machine
Autor
Jiří Skotal
Rok
2024
Typ
Bakalářská práce
Vedoucí
Ing. Jan Liam Verter
Oponenti
Ing. Tomáš Pecka
Katedra
Anotace
Tato práce se zabývá implementací interpreteru pro podmnožinu jazyka Prolog pomocí Warren Abstract Machine. Podrobně popisuje teoretický model Warren Abstract Machine, její vnitřní fungování a nabízí detailní příklady jako referenci. Dále je naimplementován překladač z Prologu do bytecodu Warren Abstract Machine, společně s Read-eval-print prostředím pro spouštění Prolog programů.
Návrh a implementace programovacího jazyka zaměřeného na Typestate
Autor
Oliver Tušla
Rok
2025
Typ
Bakalářská práce
Vedoucí
Ing. Jan Liam Verter
Oponenti
doc. Ing. Filip Křikava, Ph.D.
Katedra
Anotace
V objektově orientovaném modelu určuje typestate množinu operací povolených nad instancí objektu v daném stavu. Takové operace jsou obvykle vyjádřené pomocí metod.
Zavádíme nové softwarové návrhové paradigma, ve kterém je typestate objektu definován pomocí atomických klauzulí vyjadřujících doménově specifické vlastnosti. Každá klauzule buď platí, neplatí, nebo je neznámá. Metody jsou pak rozděleny do odlišných implementací, z nichž každá vyžaduje ke spuštění jiné stavy klauzulí.
Předkládáme povrchový jazyk ztělesňující toto paradigma a implementujeme pro něj type checker.
Demostrujeme dosažené záruky spolehlivosti v programech a diskutujeme ergonomii modelování dómeny.