Diplomová práce

Well-founded semantics for dependent, recursive record types with type complement

Bc. Jozef Mikušinec, učo 456207
Anotace

Táto práca definuje dobre založenú sémantiku pre vysoko expresívny typový systém, ktorý zahrňuje záznamové typy, typové zjednotenie, prienik a doplnok, a kvantifikátory. Na rozdiel od predošlých prístupov, ktoré skúmajú typový doplnok, my nekladieme syntaktické reštrikcie na typové definície – dobre založená sémantika dáva význam na všetky z nich, vrátane tých, ktoré sú sporné v klasickom zmysle …více

Abstract

This thesis defines a well-founded semantics for a highly expressive type system that includes record types, type union, intersection and complement, and quantifiers. Unlike previous approaches that investigate type complement, we place no syntactic restrictions on type definitions – well-founded semantics gives meaning to all of them, including those that are contradictory in the classical sense …více

Klíčová slova
well-founded semantics type complement set-theoretic types recursive types quantified types WFRQ stratifiability
Zadání práce
The goal of this thesis is to define a well-founded semantics for a type system for records, which includes "set-theoretic" type connectives (type union, intersection and complement), and quantifiers. The semantics should be able to assign meaning to all type specifications, including contradictory ones, such as 'T = not T'. The thesis should also investiage syntactical conditions under which type definitions are classical (2-valued).
Administrativní informace
Práce zkontrolována:
20. 5. 2022 10:55, doc. Mgr. Jan Obdržálek, PhD., učo 1552
Plný text práce
558 KB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
21. 6. 2022
Práce byla úspěšně obhájena

Vedoucí

doc. Mgr. Jan Obdržálek, PhD., učo 1552
KTP FI MU

Oponent

Dr. rer. nat. Achim Blumensath, učo 237782
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Principy programovacích jazyků

Práce na příbuzné téma

Žádné práce na příbuzné téma.

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.