title
Efektianalüüsidel põhinevate programmiteisenduste sertifitseerimine
Certification of effect-analysis based program transformations
author
Talvik, Tõnn
keywords
tüübi- ja efektisüsteemid
efektituletus
programmide optimeerimine
erandid
mittedeterminism
gradeeritud monaadid
sertifitseerimine
Agda
magistritööd
type and effect systems
effect inference
program optimization
exceptions
non-determinism
graded monads
certification
Agda
master's theses
supervisor
Uustalu, Tarmo
study program
IAPM Informaatika
defence date
02.06.2017
language
est
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
School of Information Technologies
department / college
Tarkvarateaduse instituut
Department of Software Science