Logics for Low-Level Code and Proof-Preserving Program Transformations

title

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

dissertatsioonid

proof-carrying code

programming logics

type systems

soundness of dataflow analyses and optimizations

program proof transformations

partial redundancy elimination

bytecode optimizations

bidirectional dataflow analyses

dissertations

loomulik semantika

madala taseme koodid

natural semantics

low-level codea

publisher

TUT Press

supervisor

Uustalu, Tarmo

Tõugu, Enn

defence date

14.11.2008

identifier

ISBN 9789985598658

ISSN 14064731

language

eng

institution