pealkiri
Efektianalüüsidel põhinevate programmiteisenduste sertifitseerimine
Certification of effect-analysis based program transformations
autor
Talvik, Tõnn
märksõnad
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
juhendaja
Uustalu, Tarmo
õppekava
IAPM Informaatika
kaitsmiskuupäev
02.06.2017
keel
est
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
School of Information Technologies
instituut / kolledž
Tarkvarateaduse instituut
Department of Software Science