title
Logics for Low-Level Code and Proof-Preserving Program Transformations
Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused
author
Saabas, Ando
keywords
Tõestusega kood
programmiloogikad
tüübisüsteemid
andmevoo analüüside ja optimeerimiste korrektsus
programmide tõestusteisendused
osaline liiasuse kõrvaldamine
baitkoodi optimeerimine
kahesuunalised andmevoo analüüsid
proof-carrying code
type systems
soundness of dataflow analyses and optimizations
program proof transformations
partial redundancy elimination
bytecode optimizations
bidirectional dataflow analyses
loomulik semantika
madala taseme koodid
natural semantics
low-level codea
publisher
TUT Press
defence date
14.11.2008
identifier
ISBN 9789985598658
ISSN 14064731
language