Well-founded semantics for dependent, recursive record types with type complement – Bc. Jozef Mikušinec
Bc. Jozef Mikušinec
Diplomová práce
Well-founded semantics for dependent, recursive record types with type complement
Well-founded semantics for dependent, recursive record types with type complement
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 (ako …víceAbstract:
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
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 17. 5. 2022
Identifikátor:
https://is.muni.cz/th/xr8vu/
Obhajoba závěrečné práce
- Obhajoba proběhla 21. 6. 2022
- Vedoucí: doc. Mgr. Jan Obdržálek, PhD.
- Oponent: Dr. rer. nat. Achim Blumensath
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Teoretická informatika / Principy programovacích jazyků
Práce na příbuzné téma
- Žádné práce na příbuzné téma.