Reactive Imperative Programming with Dataflow Constraints. - DEMETRESCU, CAMIL; FINOCCHI, IRENE; RIBICHINI, ANDREA (ACM Transactions on Programming Languages & Systems, 2014)