Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused

autor
vastutusandmed
Ando Saabas ; [supervisors: Tarmo Uustalu, Enn Tõugu]
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
leheküljed
172 lk. : ill.
seeria-sari
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 43
vormimärksõna
ISBN
978-9985-59-865-8
märkused
Includes bibliogr. Thesis (Ph.D. in Engineering) : Tallinn University of Technology, 2008. Autori CV eesti ja inglise keeles lk. 168-169. Ka eestikeelse tiitellehega
Lühikokkuvõte: Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused
Kättesaadav ka võrguteavikuna
TTÜ struktuuriüksus
keel
inglise
Saabas, A. Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused. Tallinn : TUT Press, 2008. 172 lk. : ill.. (Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 43). https://www.ester.ee/record=b2431341*est