Intensional programming and dataflow