Extracting a Data Flow Analyser in Constructive Logic.

David Cachera Thomas P. Jensen David Pichardie Vlad Rusu

Published in: ESOP (2004)

Keyphrases

data flow
digital circuits
database machine
object oriented software
control flow
data transfer
classical logic
logic programming
digital signal processing
object oriented
multi valued
systolic array
modal logic
artificial intelligence
proof theory
bottle neck