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

pealkiri

Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused

autor

Saabas, Ando

märksõnad

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

väljaandja

TUT Press

juhendaja

Uustalu, Tarmo

Tõugu, Enn

kaitsmiskuupäev

14.11.2008

identifikaator

ISBN 9789985598658

ISSN 14064731

keel

eng

asutus