TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 

Vaadatud 277 kord(a)
Alla laetud 52 kord(a) alates 1.01.2018

(0.2 MB)

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 
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