Foundational certification of data-flow analyses.

Maria João Frade Ando Saabas Tarmo Uustalu

Published in: TASE (2007)

Keyphrases

data flow
database machine
control flow
data transfer
digital signal processing
object oriented software
object oriented
third party
systolic array
databases
open source
bottle neck