TY  - RPRT
TI  - Reactive Imperative Programming with Dataflow Constraints
AU  - Camil Demetrescu
AU  - Irene Finocchi
AU  - Andrea Ribichini
PY  - 2011
UR  - https://arxiv.org/abs/1104.2293
ID  - 1104.2293
ER  -