Towards refinement types for time-dependent data-flow networks.

Jean-Pierre Talpin Pierre Jouvelot Sandeep Kumar Shukla

Published in: MEMOCODE (2015)

Keyphrases

data flow
database machine
control flow
data transfer
digital signal processing
object oriented software
artificial intelligence
object oriented
management system
network structure