Type systems equivalent to data-flow analyses for imperative languages.

Peeter Laud Tarmo Uustalu Varmo Vene

Published in: Theor. Comput. Sci. (2006)

Keyphrases

data flow
digital circuits
database machine
control flow
object oriented
database systems
digital signal processing
databases
embedded systems
computing systems
language independent
type checking
object oriented languages