TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 


(1.4 MB)

Pealkiri Logics for Low-Level Code and Proof-Preserving Program Transformations. Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused 
Autor Saabas, Ando 
Märksõnad Tõestusega kood, programmiloogikad ja loomulik semantika madala taseme koodile, tüübisüsteemid, andmevoo analüüside ja optimeerimiste korrektsus, programmide tõestusteisendused, osaline liiasuse kõrvaldamine, baitkoodi optimeerimine, kahesuunalised andmevoo analüüsid, dissertatsioonid,
Proof-carrying code, programming logics and natural semantics for low-level code, type systems, soundness of dataflow analyses and optimizations, program proof transformations, partial redundancy elimination, bytecode optimizations, bidirectional dataflow analyses, dissertations 
Väljaandja TUT Press 
Juhendaja Uustalu, Tarmo ; Tõugu, Enn 
Kaitsmiskuupäev 14.11.2008 
Identifikaator ISBN 9789985598658
ISSN 14064731 
Keel eng 
Asutus Tallinna Tehnikaülikooli Küberneetika Instituut
Institute of Cybernetics at Tallinn University of Technology