Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused
author
supervisor
statement of authorship
Ando Saabas ; [supervisors: Tarmo Uustalu, Enn Tõugu]
type of dissertation
doktoritöö
university/scientific institution
Tallinna Tehnikaülikool
location of publication
Tallinn
publisher
year of publication
pages
172 lk. : ill.
series
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 43
subject term
subject of form
ISBN
978-9985-59-865-8
notes
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Ü department
language
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).