Reactive imperative programming with dataflow constraints.

Camil Demetrescu, Irene Finocchi, Andrea Ribichini

Browse the full OOPSLA paper archive.