The following thesis was written by a student who graduated in 2022-2023 from the Bachelor Informatica programme at Leiden University.


Thesis details

TitleAutomatically Deriving Sorting Algorithms in tUPL
StudentKling, A. (Alano)
ProgrammeBachelor Informatica
Year2022-2023
SupervisorsRietveld, dr. K.F.D. (Kristian)
Wijshoff, prof.dr. H.A.G. (Harry)
Thesis Open Thesis PDF

Citation details

Kling, A. (Alano), Automatically Deriving Sorting Algorithms in tUPL, Thesis Bachelor Informatica, LIACS, Leiden University, 2023.