Extracting a data flow analyser in constructive logic.

David Cachera Thomas P. Jensen David Pichardie Vlad Rusu

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

Keyphrases

data flow
digital circuits
database machine
data transfer
control flow
digital signal processing
object oriented software
logic programming
classical logic
systolic array
low cost
logical framework
knowledge management
parallel processing