Well-founded semantics for dependent, recursive record types with type complement – Bc. Jozef Mikušinec
Bc. Jozef Mikušinec
Master's thesis
Well-founded semantics for dependent, recursive record types with type complement
Well-founded semantics for dependent, recursive record types with type complement
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 17. 5. 2022
Identifier:
https://is.muni.cz/th/xr8vu/
Thesis defence
- Date of defence: 21. 6. 2022
- Supervisor: doc. Mgr. Jan Obdržálek, PhD.
- Reader: Dr. rer. nat. Achim Blumensath
Citation record
ISO 690-compliant citation record:
MIKUŠINEC, Jozef. \textit{Well-founded semantics for dependent, recursive record types with type complement}. Online. Master's thesis. Brno: Masaryk University, Faculty of Informatics. 2022. Available from: https://theses.cz/id/7mf0mb/.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Theoretical computer science / Principles of programming languages
Theses on a related topic
- No theses on a related topic available.